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 Mathematical Logic usually prove the theorem of Lob,
like:
MENDELSON E., 1987, Introduction to Mathematical Logic, 3čme édition,
Wadsworth & brooks/Cole.
See also my Sane paper for more reference and an introduction to lobian
machines/theories/entities:
http://iridia.ulb.ac.be/~marchal/publications/SANE2004MARCHAL.htm
Bruno
Le 27-févr.-06, ŕ 20:28, Jad a écrit :
> Hello,
>
> Could you please refer me to sources of information on the "Lobian
> Machine" ?
>
> Greets,
> Jad
>
>
http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---
Received on Wed Mar 01 2006 - 04:13:27 PST