A self-referential problem
#philsky #philsci
iai.tv/articles/con...
A self-referential problem
#philsky #philsci
iai.tv/articles/con...
- the First Incompleteness Theorem is false
- the Entscheidungsproblem has an algorithmic solution
- verifying a proof is the same as *finding* one
- mathematicians finding new proofs are not thinking
You can call it whatever you want! Thinking requires a mind and the machines on our desks simply do not have one.
- the First Incompleteness Theorem is false
- the Entscheidungsproblem has an algorithmic solution
- verifying a proof is the same as *finding* one
- mathematicians finding new proofs are not thinking
#torso #nude #body #studionude #fineartnude
#torso #nude #body #studionude #fineartnude
andrescaicedo.wordpress.com/wp-content/u...
andrescaicedo.wordpress.com/wp-content/u...
philpapers.org/rec/TARSTS
philpapers.org/rec/TARSTS
If your math is advanced enough it can do math on itself and prove it can't do all math.
en.wikipedia.org/wiki/G%C3%B6...
If your math is advanced enough it can do math on itself and prove it can't do all math.
en.wikipedia.org/wiki/G%C3%B6...