Re: Godel did not destroy the Hilbert Frege Russell programme
- From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
- Date: Tue, 25 Mar 2008 15:07:47 GMT
On 2008-03-25, in sci.logic, Gc wrote:
So, Hilbert produced a failed proof of the CH?
Yes.
I don`t know if there is a there a detailed refutation of Saarnio`s
proof. I haven`t took a look of it, What I`ve read it is said to be
incomprehensible.
It is not entirely incomprehensible. I have a vague recollection of
actually noting a mathematical error in the proof, which suggests
there's some substance to it.
--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)
"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.
- Follow-Ups:
- Re: Godel did not destroy the Hilbert Frege Russell programme
- From: Herman Jurjus
- Re: Godel did not destroy the Hilbert Frege Russell programme
- References:
- Godel did not destroy the Hilbert Frege Russell programme
- From: elsiemelsi
- Re: Godel did not destroy the Hilbert Frege Russell programme
- From: Rupert
- Re: Godel did not destroy the Hilbert Frege Russell programme
- From: Aatu Koskensilta
- Re: Godel did not destroy the Hilbert Frege Russell programme
- From: Gc
- Re: Godel did not destroy the Hilbert Frege Russell programme
- From: Aatu Koskensilta
- Re: Godel did not destroy the Hilbert Frege Russell programme
- From: Gc
- Godel did not destroy the Hilbert Frege Russell programme
- Prev by Date: Re: Analytic/Synthetic distinction in modern inference engines?
- Next by Date: Re: all the incompleteness proofs are worthless untill...
- Previous by thread: Re: Godel did not destroy the Hilbert Frege Russell programme
- Next by thread: Re: Godel did not destroy the Hilbert Frege Russell programme
- Index(es):
Relevant Pages
|
Loading
