Installieren Sie die genialokal App auf Ihrem Startbildschirm für einen schnellen Zugriff und eine komfortable Nutzung.
Tippen Sie einfach auf Teilen:
Und dann auf "Zum Home-Bildschirm [+]".
Ihr gewünschter Artikel ist in 0 Buchhandlungen vorrätig - wählen Sie hier eine Buchhandlung in Ihrer Nähe aus:
Variablen gehören zum Grundinventar formaler und halbformaler Sprachen der Logik, Mathematik und Computerwissenschaft. Dieses Buch entwickelt erstmals eine umfassende philosophische Reflexion auf ihren mannigfaltigen Gebrauch und bietet dadurch neue Einsichten in die Eigenart mathematischen Denkens und die Grenzen algorithmischer Entscheidbarkeit. Ausgehend von der Grundfrage nach dem Wesen von Variablen wird gezeigt, dass eine ihrer Kernfunktionen darin besteht, logische Formen kenntlich zu machen. Die nähere Analyse dieser Funktion eröffnet anschließend einen bedeutsamen Zusammenhang zwischen Variablengebrauch und (Un-)Entscheidbarkeit. Der Autor forscht zur Philosophie und Geschichte der Logik und Mathematik.