Boolos, George Stephen
(1940 bis 1996)

Eintrag in Wikipedia (deutsch)
Eintrag in MGP (englisch)
Eintrag in Academic Tree (englisch)

Putnam, Hilary Whitehall 1

"Degrees of Unsolvability of Constructible Sets of Integers"
"The Iterative Conception of Set"
"On Second-Order Logic"
"On Deciding the Truth of Certain Statements Involving the Notion of Consistency"
"Provability, Truth, and Modal Logic"
"For Every a There Is a B"
"To Be is to be a Value of a Variable (or to be Some Values of Some Variables)"
"The Justification of Mathematical Induction"
"The Logic of Provability"
"Nominalist Platonism"
"Reading the Begriffsschrift"
"Iteration Again"
"Basic Law (V)"
"Gödel's Second Incompleteness Theorem Explained in Words of One Syllable"
"Frege's Theorem and the Peano Postulates"

1: Die Beziehung war ein Betreuungsverhältnis im Zuge eines Promotionsverfahrens.

Zur Liste der Personen
Zur Liste der Themen
Zur Liste der Werke

Impressum / Datenschutzerklärung