ellauri055.html on line 1291: 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ä.
ellauri077.html on line 243: Geoffrey Hinton is the great-great-grandson both of logician George Boole whose work eventually became one of the foundations of modern computer science, and of surgeon and author James Hinton who was the father of Charles Howard Hinton.
ellauri096.html on line 233: Those who believe that the Church-Fitch result is a genuine paradox can respond to Williamson with paradoxes that accord with common sense (and science –and religious orthodoxy). For instance, common sense heartily agrees with the conclusion that something exists. But it is surprising that this can be proved without empirical premises. Since the quantifiers of standard logic (first order predicate logic with identity) have existential import, the logician can deduce that something exists from the principle that everything is identical to itself. Most philosophers balk at this simple proof because they feel that the existence of something cannot be proved by sheer logic. Likewise, many philosophers balk at the proof of unknowables because they feel that such a profound result cannot be obtained from such limited means.
ellauri119.html on line 385: Define god? In monotheistic thought, God is defined as the supreme being, creator, and principal object of faith. God is usually conceived of as being omnipotent, omniscient, omnipresent and omnibenevolent as well as having an eternal and necessary existence. A good definition because it is creative, too bad that's no longer allowed by the modern logicians. Existence and uniqueness must be proven separately. Damn them to hell!
ellauri349.html on line 274: Kaxikin Eskin putkiaivoisempaa oppilasta on väitellyt Eskin luennointityylistä. Tuntui (ize)keskeisen hyvältä olla minä. E. Saarinen nappasi assistentuurin S.Albert Kiviseltä joka ei ollut saanut väitöskirjaa "tämyyxistä" valmiixi. "Top logician" Georg Kreisel oli lähes yhtä omituinen kuin ammeeseen paskantanut Saul Kripke. Saa nähdä tuleeko se Kataisen vieteriukko Pekka Himanen, joka lensi aurinkoon kuin Ikaros, ollenkaan mainituxi tässä kronikassa. Ei se ainakaan ole lähteissä.
5