Forums before death by AOL, social media and spammers... "We can't have nice things"
| sci.logic | Logic -- math, philosophy & computationa | 262,912 messages |
[ << oldest | < older | list | newer > | newest >> ]
| Message 262,272 of 262,912 |
| Pierre Asselin to Richard Damon |
| Re: have we been misusing incompleteness |
| 31 Dec 25 21:18:18 |
XPost: comp.theory
From: pa@see.signature.invalid
In sci.logic Richard Damon wrote:
> No, provability requires a FINITE sequence to be showable.
> Truth can be established by an INFINITE sequence.
You're going off the beaten paths. Does that work
if you quantify over real numbers? Just curious.
--
pa at panix dot com
--- SoupGate-DOS v1.05
* Origin: you cannot sedate... all the things you hate (1:229/2)
|
[ << oldest | < older | list | newer > | newest >> ]
(c) 1994, bbs@darkrealms.ca
