ellauri054.html on line 289: Lay like the folds of a bright girdle furled. Se makasi kuin valopään Gödelin taittovedoxet.
ellauri055.html on line 1276: Vuonna 1948 Kala vieraili Yhdysvalloissa ja tapasi Carl G. Hempelin ja Kurt Gödelin. Jan von Platon apulaisena Hämeen-Anttiloiden tyttö tulkkaa Gödelin käsialaa. Siihen pystyy vain kourallinen ihmisiä maailmassa. Sieltä kuuluu löytyneen oikea pommi. Aukko epätäydellisyysteorian todistuxesta. Jenkit sano Girdle. Vyö. Jan von Plato fanitti Georg Kreiselia. Top logician, naureskeli koleerinen Janne. Tajuutteko? Kreisel? Top! Eski Saarinen bylsi Jannen anaalis-obsessiivista ykkösvaimoa Tontunmäessä.
ellauri096.html on line 191: Yes, there are infinitely many. Kurt Gödel’s incompleteness theorem demonstrated that any system that is strong enough to express arithmetic is also strong enough to express a formal counterpart of the self-referential proposition in the surprise test example ‘This statement cannot be proved in this system’. If the system cannot prove its “Gödel sentence”, then this sentence is true. If the system can prove its Gödel sentence, the system is inconsistent. So either the system is incomplete or inconsistent. (See the entry on Kurt Gödel.)
ellauri096.html on line 193: Of course, this result concerns provability relative to a system. One system can prove another system’s Gödel sentence. Kurt Gödel (1983, 271) thought that proof was not needed for knowledge that arithmetic is consistent.
ellauri096.html on line 195: J. R. Lucas (1964) claims that this reveals human beings are not machines. A computer is a concrete instantiation of a formal system. Hence, its “knowledge” is restricted to what it can prove. By Gödel’s theorem, the computer will be either inconsistent or incomplete. However, a human being with a full command of arithmetic can be consistent (even if he is actually inconsistent due to inattention or wishful thinking).
ellauri096.html on line 197: Critics of Lucas defend the parity between people and computers. They think we have our own Gödel sentences (Lewis 1999, 166–173). In this egalitarian spirit, G. C. Nerlich (1961) models the student’s beliefs in the surprise test example as a logical system. The teacher’s announcement is then a Gödel sentence about the student: There will be a test next week but you will not be able to prove which day it will occur on the basis of this announcement and memory of what has happened on previous exam days. When the number of exam days equals zero the announcement is equivalent to sentence K.
ellauri112.html on line 163: Lisää taantumuxen voimasanoja Eno Kalalta. Se oli aikoinaan aika vahva ääni oikealta, vaikkei ollut jutku kuten Henri Bergson ja Ben Zyskoviz. Sehän oli muun suomalaisen herrasväen vanavedessä enemmänkin saxanmielinen, ennenkuin 2. maailmansodan loppupuolella oma nenä ratkaisi, minnepäin tuuli oli kääntymässä. Size teki matkoja Yhdysvaltoihin tapaamaan mm. Karl Hempeliä ja Kurt Gödeliä. Karl ja Kurt oli huippunimiä filosofian laitoxella Oiskan loppuaikoina.
ellauri158.html on line 436: Aina tietää että kun Siili alkaa monisanaisesti pulista, se ei välttämättä izekään ihan tiedä mitä se haluu sanoa. Mitähän tääkin taaas olisi? Onxe jotain sellasta että toteutumattomat asiat (esim siis apinoiden esi-isät) on olemassa joteskin kuitenkin jumalan hämärinä ajatuxina sittenkin kun niitä ei oikeasti ole? Vaikea sanoa, kun Siili ei edes ize kexi yhtään kunnon esimerkkiä. Jotain geometrista höpinää ympyrään piirretyistä neliöistä vaan. Tässä tulee mieleen sen peräsuolisyöpään kuolleen Jon Barwisen vaikeudet kun se koitti rakentaa semantiikan vaan yhdestä mahdollisesta maailmasta. Se oli aika siilimäistä. Onkohan se oikein realistista? Jaakko Hintikkaa sanottiin idealistixi kun sillä oli niitä monia. Hintikkaa ei hirveästi vaivannut oliko ne oikeasti olemassa, leikisti oikeasti, mitä väliä. Ize asiassa Barwise oli varmaan niistä oikeistolaisempi. In his last year, Barwise was invited to give the 2000 Gödel Lecture; he died prior to the lecture.
ellauri285.html on line 708: Les États-Unis auraient ainsi su échapper à cette crise du sacré, par leur civisme et leur patriotisme, même s´ils se sont mis au service de mauvaises causes. L’effigie du dollar des États-Unis en est un exemple : « In God We Trust, All Others Pay Cash ». C’est cette symbolique patriotique qui ferait la force des États-Unis. Debray prétend appliquer le théorème d´incomplétude de Gödel à l´ordre social pour « démontrer » sa théorie. Régis Debray a été vivement critiqué pour son utilisation du théorème d´incomplétude de Gödel, jugée au mieux infondée sinon fallacieuse par Alan Sokal et Jean Bricmont dans leur livre Impostures intellectuelles, et par Jacques Bouveresse dans Prodiges et vertiges de l´analogie.
xxx/ellauri228.html on line 587: Charles Parsons was an editor, with Solomon Feferman and others, of the posthumous works of Kurt Gödel. He has also written on historical figures, especially Immanuel Kant, Gottlob Frege, another Kurt Gödel, and Willard Van Orman Quine.
10