Record #348612 - GSI Repository

DFG project G:(GEPRIS)529353293

Neue Perspektiven auf die Semantik von Epsilon Kalkülen: Spiele, (Un)abhängigkeit und Unbestimmtheit

Coordinator	Dr. Norbert Gratzl
Grant period	2023 -
Funding body	Deutsche Forschungsgemeinschaft
	DFG
Identifier	G:(GEPRIS)529353293

Note: Der Epsilonkalkül wurde ursprünglich von D. Hilbert und P. Bernays entwickelt, um mit finiten (oder wenigstens konstruktiven) Methoden die Widerspruchsfreiheit formaler Systeme (v.a. Peano Arithmetik) zu zeigen. Der Epsilonkalkül hat aber im Laufe der Forschung sehr viele Anwendungsmöglichkeiten auch außerhalb der mathematischen Grundlagenforschung und Logik gefunden, etwa in der Linguistik, der Sprachphilosophie, der Wissenschaftstheorie. Ein Grund dafür mag die Ausdrucksstärke des Epsilonkalküls sein, die über diejenige der klassischen Prädikatenlogik der ersten Stufe hinausgeht. In diesem Projekt soll eine neue, spieltheoretische Semantik für Epsilonkalküle entwickelt werden. Damit wird zum einen ein neuer Blickpunkt auf den unbestimmten Charakter von Epsilontermen geworfen, zum anderen eröffnet dieser semantische Zugang neue Perspektiven auf die semantische Interpretation von abhängigen Variablen.

Recent Publications

There are no publications

Record created 2024-01-20, last modified 2024-09-28

Similar records

Add to personal basket
Export as Author List with IDs BibTeX (UTF-8), EndNote XML, EndNote Text, RIS, MARC, Print MARC, MARCXML, DC,
Request correction
Submit fulltext

GSI Homepage \| GSI Library \| English Deutsch \| guest :: login GSI Repository
Search	Submit	Personalize Your alerts Your baskets Your searches	Help