Re: Incompleteness vs. Mechanical Reasoning

From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
Date: Sat, 05 Apr 2008 11:05:44 GMT

On 2008-04-04, in sci.logic, R. Srinivasan wrote:

The human mind has free will and is capable of making a genuinely
random decision.

Why would anyone want to make genuinely random decisions?

--
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: R. Srinivasan
- Re: Incompleteness vs. Mechanical Reasoning
  - From: Alan Smaill

References:
- Incompleteness vs. Mechanical Reasoning
  - From: Marshall
- Re: Incompleteness vs. Mechanical Reasoning
  - From: R. Srinivasan

Prev by Date: Re: Liar's Paradox
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: Incompleteness vs. Mechanical Reasoning
... random decision. ... Why would anyone want to make genuinely random decisions? ... "Wovon man nicht sprechen kann, ...
(sci.logic)
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)