All Questions
Tagged with incompleteness check-my-answer
1 question
-1
votes
3
answers
167
views
Is Goedel's 1st theorem not algorithmically derivable?
First let me explain what I mean by algorithmically derivable.
An algorithm must be able to come up with the proof without prior knowledge of the proof, in the same way mathematicians and computer ...
- 1,447