Gottlob Freges Grundgesetze der Arithmetik: Transkription und Beweiskontrolle

Gottlob Freges Hauptwerk Grundgesetze derundgesetze derder现代逻辑，and the enthält Freges klassische Präsentation and durchfhrung des logizistischen程序在der哲学和数学。在详细的评论中，每一个人都有自己的愿望。3 .在德国，德国<s:1>联邦研究与发展委员会（以下简称联邦研究与发展委员会）在德国，德国<s:1>联邦研究与发展委员会（以下简称联邦研究与发展委员会）在德国。冯·弗雷格·格·格·格·格·格·格·格·格·格·格·格·格·格·格·格·格·格·格·格·格·格·格·格·格·格[3]〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕〔1〕Die erste Voraussetzung fr r den Erfolg des bergeordenneten评论项目列表应是Die transkrider der freeschen in ine heute geläufige Notation。在此基础上，建立了一种基于逻辑的、基于数学的、基于逻辑的、基于逻辑的、基于逻辑的、基于逻辑的、基于逻辑的、基于逻辑的、基于逻辑的、基于逻辑的、基于逻辑的、基于逻辑的、基于逻辑的、基于逻辑的、基于逻辑的、基于逻辑的、基于逻辑的。- Die hier beantragte Sachbeihilfe soll deshaline elektronische出版der Grundgesetze在einer heute <s:1> blichen Schreibweise der logischen Schreibweise and beweiscontrol, erwetert um Die Ergebnisse maschineller beweiscontrol, ermöglichen。

Gottlob Freges Hauptwerk Grundgesetze der Arithmetik ist das Grundbuch der modernen Logik, und es enthält Freges klassische Präsentation und Durchführung des logizistischen Programms in der Philosophie der Mathematik. Ein detaillierter Kommentar auch nur von Teilen des Werkes ist ein Desiderat der Forschung. Ziel des hier beantragten Projektes ist es, die Voraussetzungen für einen solchen Kommentar zu schaffen, der vom federführenden Antragsteller verfasst werden soll. Die von Frege eingeführte zweidimensionale Notation logischer Formeln hat sich nicht durchgesetzt. Ihre Beibehaltung in einem am Text vorgehenden Kommentar würde dessen Lesbarkeit auch für Kenner der Logik und der Philosophie der Mathemtik äußerst erschweren. Die erste Voraussetzung für den Erfolg des übergeordneten Kommentarprojekts ist deshalb die Transkription der Fregeschen in eine heute geläufige Notation. Sie dient dann auch der Realisierung der zweiten Voraussetzung: maschinelle Kontrolle der Beweisführungen Freges im Rahmen seiner Herleitung der Arithmetik aus der Logik. - Die hier beantragte Sachbeihilfe soll deshalb eine elektronische Publikation der Grundgesetze in einer heute üblichen Schreibweise der logischen Formeln und Beweise, erweitert um die Ergebnisse maschineller Beweiskontrollen, ermöglichen.