Game, set, maths : formal investigations into logic with imperfect information

F. Dechesne

Research output: ThesisPhd Thesis 3 (Research TU/e / Graduation NOT TU/e)

260 Downloads (Pure)


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.
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Tias Nimbas Business School
  • Mathematics and Computer Science
  • Swart, de, H.C.M., Promotor, External person
  • Baeten, Jos, Promotor
  • Nederpelt, Rob, Copromotor
Award date21 Mar 2005
Place of PublicationTilburg
Publication statusPublished - 2005


Dive into the research topics of 'Game, set, maths : formal investigations into logic with imperfect information'. Together they form a unique fingerprint.

Cite this