Set theory in first-order logic: Clauses for Gödel's axioms (Q1097252): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q114264489, #quickstatements; #temporary_batch_1706364719135
Set OpenAlex properties.
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Splitting and reduction heuristics in automatic theorem proving / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3709919 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3216156 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5588619 / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/bf02328452 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1966945932 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 10:59, 30 July 2024

scientific article
Language Label Description Also known as
English
Set theory in first-order logic: Clauses for Gödel's axioms
scientific article

    Statements

    Set theory in first-order logic: Clauses for Gödel's axioms (English)
    0 references
    0 references
    1986
    0 references
    In this paper we present a set of clauses for set theory, thus developing a foundation for the expression of most theorems of mathematics in a form acceptable to a resolution-based automated theorem prover. Because Gödel's formulation of set theory permits presentation in a finite number of first-order formulas, we employ it rather than that of Zermelo- Fraenkel. We illustrate the expressive power of this formulation by providing statements of some well-known open questions in number theory, and give some intuition about how the axioms are used by including some sample proofs. A small set of challenge problems is also given.
    0 references
    resolution-based automated theorem proving
    0 references
    set of clauses for set theory
    0 references
    Gödel's formulation of set theory
    0 references
    number theory
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references