Skip to content
ccss17
Turing's proof
ccss17
Math
Paper
Computer
ProgrammerBase
security tutorial
ccss17
ccss17
Math
Math
Foundation of Math
Foundation of Math
History of Math
Formal System
Incompleteness theorem
Turing's proof
Turing's proof
튜링의 증명
배경
튜링의 논문 《On Computable Numbers, with an Application to the Entscheidungsproblem》
튜링의 증명과정
1. 튜링 기계
2. 보편만능기계
2-(1) 임의의 튜링기계를 보편만능기계의 기호로 구성된 텍스트로 환원하기
2-(2) 텍스트로 사상된 튜링기계를 입력받아 실행하는 작동규칙표
3. 튜링의 증명
3-(1) 무한의 크기(대각선 논법)
3-(2) 튜링기계의 개수
3-(3) 보편만능기계로도 해결할 수 없는 정지문제
튜링의 증명의 의미
Consistency proof of Peano arithmetic
Set Theory
Set Theory
Set
Number Theory
Infinite Set
ZFC axiom system
Arithmetic Operations
Polynomials
Hyperreal Numbers
Surreal Numbers
Linear Algebra
Linear Algebra
Vector Space
Linear Transformation
Matrix Operation
Determinants
Diagonalization
Inner Product Spaces
Canonical Forms
Paper
Paper
Performance of Python runtimes on a non-numeric scientific code
The NumPy array: a structure for efficient numerical computation
Facenet (2015)
Quadruplet (2017)
BlueBorne
Computer
Computer
Nand to Tetris
Why the future doesn't need us
Rust Memo
ProgrammerBase
ProgrammerBase
README
Contents
Contents
Day 1
Day 2
Day 3
Day 4
Day 5
Docker
Coding Convention
Build System
Information
Git
VSCode
Markdown
Tmux
Vim
CLI
security tutorial
security tutorial
README
Day1 Base
Day2 Computer Principle 1
Day3 Computer Principle 2
Day4 Reversing 1
Day5 Reversing 2
Day6 Exploit 1
Day7 Exploit 2
Day8 Exploit 3
Day9 Exploit 4
Day10 Pentesting
튜링의 증명
배경
튜링의 논문 《On Computable Numbers, with an Application to the Entscheidungsproblem》
튜링의 증명과정
1. 튜링 기계
2. 보편만능기계
2-(1) 임의의 튜링기계를 보편만능기계의 기호로 구성된 텍스트로 환원하기
2-(2) 텍스트로 사상된 튜링기계를 입력받아 실행하는 작동규칙표
3. 튜링의 증명
3-(1) 무한의 크기(대각선 논법)
3-(2) 튜링기계의 개수
3-(3) 보편만능기계로도 해결할 수 없는 정지문제
튜링의 증명의 의미
Redirect to Netlify
Back to top