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
Formal system
49
4
Zermelo-Fraenkel axioms
Zermelo-Fraenkel set theory
1
Zermelo-Fraenkel axioms with the axiom of choice
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
Famous conjecture
57
3
Collatz-like problem
Collatz conjecture
11
The Busy Beaver Competition: a historical survey by Pascal Michel
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
(4)
Autoformalization
Job application by Ciro Santilli
Skelet machine #1 is infinite
Website front-end for a mathematical formal proof system