Re: The meaning of set?

Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx> writes:

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?

Rupert didn't demand that the algorithm generate all and ONLY the
sentences we accept as theorems.

Lee Rudolph
.

Relevant Pages

  • Re: Roger Ebert comes out of the closet!!
    ... I'm not qualified to say whether or not God exists. ... contains the best proofs of all mathematical theorems, ... I've done a reasonable amount of algorithm development. ... Time to reread "The Unreasonable Effectiveness of Mathematics", ...
    (talk.origins)
  • 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?
    ... Aatu Koskensilta wrote: ... all the sentences we accept as theorems. ... Perhaps you interpreted me as saying there is an algorithm for testing ...
    (sci.math)