Uittreksel
Taal  Engels 

Kwalificatie  Doctor in de Filosofie 
Toekennende instantie 

Begeleider(s)/adviseur 

Datum van toekenning  21 mrt 2005 
Plaats van publicatie  Tilburg 
Uitgever  
Status  Gepubliceerd  2005 
Vingerafdruk
Citeer dit
}
Game, set, maths : formal investigations into logic with imperfect information. / Dechesne, F.
Tilburg : Universiteit van Tilburg, 2005. 165 blz.Onderzoeksoutput: Scriptie › Dissertatie 3 (Onderzoek TU/e / Promotie NIET TU/e) › Academic
TY  THES
T1  Game, set, maths : formal investigations into logic with imperfect information
AU  Dechesne,F.
PY  2005
Y1  2005
N2  With his book "The Principles of Mathematics Revisited" (1996), Jaakko Hintikka intends to "wake [his] fellow philosophers of mathematics from their skeptical slumbers, and to point out to them a wealth of new constructive possibilities in the foundations of mathematics" (p. ix). The latter is claimed to be provided by Hintikka's Independence Friendly logic together with Game Theoretical Semantics as the new basis for the foundations of mathematics (thereby replacing the traditional first order logic). Although the presented ideas were criticized in several reviews, and might not lead to the revolution in mathematics the writer is "preparing the ground for", they do deserve a further investigation.
AB  With his book "The Principles of Mathematics Revisited" (1996), Jaakko Hintikka intends to "wake [his] fellow philosophers of mathematics from their skeptical slumbers, and to point out to them a wealth of new constructive possibilities in the foundations of mathematics" (p. ix). The latter is claimed to be provided by Hintikka's Independence Friendly logic together with Game Theoretical Semantics as the new basis for the foundations of mathematics (thereby replacing the traditional first order logic). Although the presented ideas were criticized in several reviews, and might not lead to the revolution in mathematics the writer is "preparing the ground for", they do deserve a further investigation.
M3  Phd Thesis 3 (Research TU/e / Graduation NOT TU/e)
PB  Universiteit van Tilburg
CY  Tilburg
ER 