Ciro Santilli
OurBigBook.com
$£
Sponsor
中国
独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
Formal proof
Home
Mathematics
Area of mathematics
Formalization of mathematics
OurBigBook.com
Words: 295
Articles: 20
A proof in some system for the
formalization of mathematics
.
Table of contents
295
20
Formal proof is useless
Formal proof
46
Mathematical proof
Formal proof
Formal system
Formal proof
49
5
Zermelo-Fraenkel set theory
(ZF)
Formal system
49
4
Zermelo-Fraenkel axioms
(ZF)
Zermelo-Fraenkel set theory
1
Zermelo-Fraenkel axioms with the axiom of choice
(ZFC)
Zermelo-Fraenkel axioms
Set theory
Zermelo-Fraenkel set theory
7
Metamath
Zermelo-Fraenkel set theory
5
Axiom
Formal proof
71
2
Consistency
Axiom
35
Independence
(mathematical logic)
Axiom
36
Open problem in mathematics
Formal proof
109
6
Conjecture
Open problem in mathematics
109
5
Famous conjecture
Conjecture
90
4
Collatz conjecture
(1937-)
Famous conjecture
57
3
Collatz-like problem
Collatz conjecture
11
The Busy Beaver Competition: a historical survey by Pascal Michel
(2013)
Collatz conjecture
Erdős' conjecture on powers of 2
Collatz conjecture
19
Theorem
Formal proof
12
1
Corollary
Theorem
12
Tagged
(1)
Formal proof of the prime number theorem
Ancestors
(4)
Formalization of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(3)
Autoformalization
Skelet machine #1 is infinite
Website front-end for a mathematical formal proof system
Ciro Santilli
OurBigBook.com