The original source is the paper by M. H. Loeb (also written Lob or Löb)
LÖB M. H., 1955, Solution of a Problem of Leon Henkin, Journal of
Symbolic Logic, 20, pp. 115-118.
A good introductory book is:
SMULLYAN R., 1987, Forever Undecided, Alfred A. Knopf, New York.
Good textbooks on
Le 25-févr.-06, à 21:03, uv wrote:
Bruno Marchal [EMAIL PROTECTED] said on February 25, 2006,
amongst a lot of other things
The practical, terrestrial act of faith consists to say yes
to a surgeon which proposes you an artificial digital brain/body.
It is a belief in a form or
Bruno,
In this context, what are you taking to be the truth value of the empty
set?
In other words, how can you say that {Empty set} p = {Empty set} ?
I thought that you were taking to operate on propositions, not sets.
Doesn't {Empty set} p mean saying nothing in conjunction with the
truth
3 matches
Mail list logo