First-order Frege theory is undecidable

2025-01-24 Classification：Philosophy Click()
Author：Goldfarb, W

Article Title：First-order Frege theory is undecidable

Abstract：
The system whose only predicate is identity, whose only nonlogical vocabulary is the abstraction operator, and whose axioms are all first-order instances of Frege's Axiom V is shown to be undecidable.

Keywords: decidability; Frege; extensions

DOI: 10.1023/A:1013362627445

Source：JOURNAL OF PHILOSOPHICAL LOGIC

Welcome to correct the error, please contact email: humanisticspider@gmail.com

Related Reading

The scope of Turing's analysis of effective proceduresThe scope of Turing's analysis of effective procedures
The development, evolution and philosophy of a clinical research unitThe development, evolution and philosophy of a clinical research unit
Design philosophy issues of fiber reinfored polymer reinforced concrete structuresDesign philosophy issues of fiber reinfored polymer reinforced concrete structures
Building simple mechanical minds using Lego® robots for research and teaching in philosophyBuilding simple mechanical minds using Lego® robots for research and teaching in philosophy