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

F. Dechesne

Onderzoeksoutput: ScriptieDissertatie 3 (Onderzoek TU/e / Promotie NIET TU/e)Academic

Uittreksel

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.
TaalEngels
KwalificatieDoctor in de Filosofie
Toekennende instantie
  • TIAS
  • Faculteit Wiskunde & Informatica
Begeleider(s)/adviseur
  • Swart, de, H.C.M., Promotor, Externe Persoon
  • Baeten, Jos, Promotor
  • Nederpelt Lazarom, R.P., Co-Promotor
Datum van toekenning21 mrt 2005
Plaats van publicatieTilburg
Uitgever
StatusGepubliceerd - 2005

Vingerafdruk

Imperfect
Logic
Foundations of Mathematics
Mathematics
Independence-friendly Logic
Wealth
First-order Logic
Writer
Revolution
Philosopher

Citeer dit

Dechesne, F. (2005). Game, set, maths : formal investigations into logic with imperfect information Tilburg: Universiteit van Tilburg
Dechesne, F.. / Game, set, maths : formal investigations into logic with imperfect information. Tilburg : Universiteit van Tilburg, 2005. 165 blz.
@phdthesis{a5f2978752524aa4bd63144e29a0bb00,
title = "Game, set, maths : formal investigations into logic with imperfect information",
abstract = "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.",
author = "F. Dechesne",
year = "2005",
language = "English",
publisher = "Universiteit van Tilburg",
school = "Tilburg University, Department of Mathematics and Computer Science",

}

Dechesne, F 2005, 'Game, set, maths : formal investigations into logic with imperfect information', Doctor in de Filosofie, TIAS, Tilburg.

Game, set, maths : formal investigations into logic with imperfect information. / Dechesne, F.

Tilburg : Universiteit van Tilburg, 2005. 165 blz.

Onderzoeksoutput: ScriptieDissertatie 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 -

Dechesne F. Game, set, maths : formal investigations into logic with imperfect information. Tilburg: Universiteit van Tilburg, 2005. 165 blz.