2 ms·
If I understand this correctly, does it not imply that there is a class of statements/ideas which Penrose (or I) can deduce, but which cannot be algorithmically
by noam87 9y ago
If I understand this correctly, does it not imply that there is a class of statements/ideas which Penrose (or I) can deduce, but which cannot be algorithmically proved? - If so my next question is: what is an example of such a statement?
- prutschman 9y agoA sketch is presented here: http://www.iep.utm.edu/lp-argue/#SH3a http://www.iep.utm.edu/lp-argue/#SH3a