Re: Incompleteness vs. Mechanical Reasoning

From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
Date: Sun, 06 Apr 2008 16:25:28 GMT

On 2008-04-05, in sci.logic, Newberry wrote:

And what would it mean to us if |R| = |N| instead of |R| > |N|?

I wouldn't know. It's difficult to make anything of such
counterfactuals.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Follow-Ups:
- Re: Incompleteness vs. Mechanical Reasoning
  - From: Newberry

References:
- Incompleteness vs. Mechanical Reasoning
  - From: Marshall
- Re: Incompleteness vs. Mechanical Reasoning
  - From: R. Srinivasan
- Re: Incompleteness vs. Mechanical Reasoning
  - From: Rupert
- Re: Incompleteness vs. Mechanical Reasoning
  - From: Aatu Koskensilta
- Re: Incompleteness vs. Mechanical Reasoning
  - From: Newberry

Prev by Date: Re: Incompleteness vs. Mechanical Reasoning
Next by Date: Re: Incompleteness vs. Mechanical Reasoning
Previous by thread: Re: Incompleteness vs. Mechanical Reasoning
Next by thread: Re: Incompleteness vs. Mechanical Reasoning
Index(es):
- Date
- Thread

Relevant Pages

Re: Tennenbaums theorem
... In general when dealing with countable models we can always assume the domain is N. ... "Wovon man nicht sprechen kann, daruber muss man schweigen" ...
(sci.logic)
Re: continuum hypothesis and 0=1
... that the system of PM, at least in its simplified form, is consistent one ... "Wovon man nicht sprechen kann, daruber muss man schweigen" ...
(sci.math)
Re: Goldbach Conjecture & the Foundation of First Order Logic.
... truth and falsity in case of Pi-1 sentences in the language of arithmetic? ... "Wovon man nicht sprechen kann, daruber muss man schweigen" ...
(sci.logic)
Re: Dedekind Cuts, Fundamental Sequences: why?
... after a moment of reflection, surely come up with a dozen more yourself. ... "Wovon man nicht sprechen kann, daruber muss man schweigen" ...
(sci.math)
Re: Some mad-sounding amateur claims
... to FLT which can be represented by a flat colored map needing more than ... "Wovon man nicht sprechen kann, daruber muss man schweigen" ...
(sci.math)