enriquepablo godel-completeness issues - Githubissues

enriquepablo / godel-completeness

Paper about Gödel's first incompleteness theorem.

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

decide whether it is better logic notation than part 2

#8 enriquepablo opened 7 years ago
0
Check whether there already is a functional analysis or algebra useful for part two

#7 enriquepablo closed 7 years ago
0
format math

#6 enriquepablo opened 7 years ago
0
Fourth part: references

#5 enriquepablo opened 7 years ago
0
Third part: develop the A machine with the tech in part 2, and show sigularity

#4 enriquepablo opened 7 years ago
0
Second part: analysis of Turing machines, compilers, logics, encodings

#3 enriquepablo opened 7 years ago
0
First part: common rendition of the theorem using Turing machines

#2 enriquepablo opened 7 years ago
1
Create tex skeleton

#1 enriquepablo opened 7 years ago
1