Re: The meaning of set?


Aatu Koskensilta wrote:
Rupert wrote:
The good thing about ZFC is that we have an algorithm for generating
all the sentences we accept as theorems.

Really? What is that algorithm?


Perhaps you interpreted me as saying there is an algorithm for testing
whether a given sentence is a theorem. That's not true, of course.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

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

.

Relevant Pages

  • Re: The meaning of set?
    ... What I have in mind is an algorithm for listing every theorem of ZFC. ... phrase "the sentences we accept as theorems" to be imprecise. ... So we have a precise characterization of what ...
    (sci.math)
  • Re: The meaning of set?
    ... Such an algorithm exists because this set is recursively enumerable. ... phrase "the sentences we accept as theorems" to be imprecise. ... The recursive enumerability of the set of theorems of ZFC gives us no clue as to what algorithm it is, if any, that generates all the sentences we accept as theorems, unless "we accept as theorems" is intended to be read as "for which formal derivations exist in ZFC". ...
    (sci.math)
  • Re: Implementing A* algorithm
    ... >> Christer Ericson wrote: ... >> Dijkstras algorithm as an extension to N processes of Dekkers ... >> the Dining Philosophers problem. ... > dozens of little theorems, ...
    (comp.programming)
  • Re: The meaning of set?
    ... all the sentences we accept as theorems. ... Rupert didn't demand that the algorithm generate all and ONLY the ...
    (sci.math)
  • Re: Deconversion
    ... suggestion that I should define God into existence. ... all if it was possible then I'd have heard others saying it when I ... other atheists we've had on ukrc, how true theorems are often ... beautifully proved by apparent shifts in reality; ...
    (uk.religion.christian)