Philosophie Lexikon der ArgumenteHome | |||
| |||
Ableitbarkeit: Hier geht es um die Frage, welche Aussagen nach den Regeln eines Kalküls gewonnen werden können. In der Logik bezieht sich die Ableitbarkeit auf die Fähigkeit, eine Aussage aus einer Menge von Prämissen unter Verwendung der Inferenzregeln eines gegebenen logischen Systems zu beweisen. Eine Aussage gilt als ableitbar, wenn es in dem System einen Beweis für sie gibt._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Hennig Genz über Ableitbarkeit – Lexikon der Argumente
II 216 Ableitbarkeit/Naturgesetze/Physik/Genz: Für Physiker ist es nichts Neues, dass einige Sätze nicht ableitbar sind: Sie nehmen ständig Sätze über neue Anfangsbedingungen oder auch neue Gesetze hinzu. Gödel: Gödel hat ihnen höchstens gezeigt, dass dieser Prozess niemals beendet werden kann. Entscheidbarkeit/Genz: Eine Entdeckung kann eine zuvor unentscheidbare Aussage entscheiden. >Physik, >Mathematik, >Ableitung, >Entscheidbarkeit, >Entscheidungstheorie._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Gz I H. Genz Gedankenexperimente Weinheim 1999 Gz II Henning Genz Wie die Naturgesetze Wirklichkeit schaffen. Über Physik und Realität München 2002 |