On computer-assisted proofs in ordinal number theory

被引：10
|
作者：
Belinfante, JGF [1 ]
机构：
[1] Georgia Inst Technol, Sch Math, Atlanta, GA 30332 USA
来源：
JOURNAL OF AUTOMATED REASONING | 1999年 / 22卷 / 03期
关键词：
OTTER; ordinal numbers; set theory;
D O I：
10.1023/A:1006010913494
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Some basic theorems about ordinal numbers were proved using McCune's computer program OTTER, building on Quaife's modification of Godel's class theory. Our theorems are based on Isbell's elegant definition of ordinals. Neither the axiom of regularity nor the axiom of choice is used.
引用
收藏
页码：341 / 378
页数：38
相关论文
共 50 条
  • [1] On Computer-Assisted Proofs in Ordinal Number Theory
    Johan G. F. Belinfante
    Journal of Automated Reasoning, 1999, 22 : 341 - 378
  • [2] COMPUTER-ASSISTED PROOFS IN ANALYSIS
    LANFORD, OE
    PHYSICA A, 1984, 124 (1-3): : 465 - 470
  • [3] COMPUTER-ASSISTED NUMBER-THEORY WITH APPLICATIONS
    CHUDNOVSKY, DV
    CHUDNOVSKY, GV
    LECTURE NOTES IN MATHEMATICS, 1987, 1240 : 1 - 68
  • [4] Computer-assisted proofs in PDE: a survey
    Gómez-Serrano J.
    SeMA Journal, 2019, 76 (3) : 459 - 484
  • [5] On the Conciliation of Traditional and Computer-Assisted Proofs
    Miranda-Perea, Favio E.
    Gonzalez Huesca, Lourdes del Carmen
    PHILOSOPHY OF COMPUTING: THEMES FROM IACAP 2019, 2022, 143 : 73 - 112
  • [6] The Epistemological Status of Computer-Assisted Proofs
    McEvoy, Mark
    PHILOSOPHIA MATHEMATICA, 2008, 16 (03) : 374 - 387
  • [7] Fully Computer-Assisted Proofs in Extremal Combinatorics
    Parczyk, Olaf
    Pokutta, Sebastian
    Spiegel, Christoph
    Szabo, Tibor
    THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 10, 2023, : 12482 - 12490
  • [8] Computer-Assisted Proofs Take on Fluid Flow
    Monroe, Don
    COMMUNICATIONS OF THE ACM, 2023, 66 (08) : 12 - 14
  • [9] VALUE IS A COMPUTER-ASSISTED NUMBER
    HODGES, MB
    REAL ESTATE REVIEW, 1983, 13 (03): : 82 - 86
  • [10] Computer-assisted proofs for some nonlinear diffusion problems
    Breden, Maxime
    COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION, 2022, 109
12345