About: List of long mathematical proofs

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: List of long mathematical proofs Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FList_of_long_mathematical_proofs&invfp=IFP_OFF&sas=SAME_AS_OFF

This is a list of unusually long mathematical proofs. Such proofs often use computational proof methods and may be considered non-surveyable. As of 2011, the longest mathematical proof, measured by number of published journal pages, is the classification of finite simple groups with well over 10000 pages. There are several proofs that would be far longer than this if the details of the computer calculations they depend on were published in full.

Attributes	Values
rdfs:label	Longueur d'une démonstration (fr) List of long mathematical proofs (en)
rdfs:comment	This is a list of unusually long mathematical proofs. Such proofs often use computational proof methods and may be considered non-surveyable. As of 2011, the longest mathematical proof, measured by number of published journal pages, is the classification of finite simple groups with well over 10000 pages. There are several proofs that would be far longer than this if the details of the computer calculations they depend on were published in full. (en) En mathématiques, la longueur d'une démonstration dépend du langage (naturel ou formel) dans lequel elle est rédigée, ainsi que des résultats préliminaires sur lesquels elle s'appuie. Des résultats inattendus de la théorie de la démonstration, comme le théorème d'accélération de Gödel, montrent que des énoncés simples peuvent avoir des démonstrations très longues, et qui dépendent considérablement du système d'axiomes choisis ; si les mathématiciens ont une préférence pour les « démonstrations élégantes » (qui sont souvent les plus courtes possibles), dans la seconde moitié du XXe siècle, certaines résultats importants ont néanmoins fait l'objet de démonstrations, parfois assistées par ordinateur, d'une longueur exceptionnelle. (fr)
dcterms:subject	Theorems Mathematical proofs Mathematics-related lists
Wikipage page ID	33074893 (xsd:integer)
Wikipage revision ID	1122789154 (xsd:integer)
Link from a Wikipage to another Wikipage	Proof by intimidation Rubik's Cube Annals of Mathematics Paul Erdős Paul Seymour (mathematician) Resolution of singularities Riemann hypothesis Riemann zeta function Burnside's problem Johann Gustav Hermes List of incomplete proofs Robertson–Seymour theorem Computer-assisted proof Pyotr Novikov ±1-sequence Quasithin group Eisenstein series Emanuel Lasker Geometrization conjecture Theorems Thomas Callister Hales Lafforgue's theorem Optimal solutions for Rubik's Cube Étale cohomology Weil conjectures Harvey Friedman 65537-gon Niels Henrik Abel Paolo Ruffini (mathematician) Checkers Discrete series representation Fondements de la Géometrie Algébrique Gorenstein–Harada theorem Graph embedding Mathematical proof Gödel's incompleteness theorem Baby monster group Mathematical proofs Abel–Ruffini theorem Kepler conjecture Laurent Lafforgue Trichotomy theorem Arthur–Selberg trace formula Maria Chudnovsky Marijn Heule Boolean Pythagorean triples problem Poincaré conjecture Classification of finite simple groups Mersenne numbers Ternary Goldbach conjecture Kurt Gödel Neil Robertson (mathematician) Mathematics-related lists Selberg trace formula Sergei Adian Lasker–Noether theorem Lyons group Strong perfect graph theorem Exceptional Lie algebra Non-surveyable proof Schur's theorem Éléments de géométrie algébrique Kruskal's theorem Odd order theorem Tetrational Springer-Verlag Ramanujan conjecture Séminaire de géométrie algébrique Almgren's regularity theorem 4-color theorem N-group theorem Second order arithmetic Sporadic simple groups
Link from a Wikipage to an external page	http://www.math.wustl.edu/~sk/books/proof.pdf https://arxiv.org/abs/1201.0749
sameAs	List of long mathematical proofs List of long mathematical proofs List of long mathematical proofs
dbp:wikiPageUsesTemplate	dbt:As_of dbt:Citation dbt:Dubious dbt:Harv dbt:Main dbt:Reflist dbt:Short_description
date	June 2021 (en)
reason	Most proofs depend on something previously presented or "well-known", cf. Nash's 1-page proof of existence of Nash equilibria which relies on Kakutani's fixed point theorem. (en)
has abstract	This is a list of unusually long mathematical proofs. Such proofs often use computational proof methods and may be considered non-surveyable. As of 2011, the longest mathematical proof, measured by number of published journal pages, is the classification of finite simple groups with well over 10000 pages. There are several proofs that would be far longer than this if the details of the computer calculations they depend on were published in full. (en) En mathématiques, la longueur d'une démonstration dépend du langage (naturel ou formel) dans lequel elle est rédigée, ainsi que des résultats préliminaires sur lesquels elle s'appuie. Des résultats inattendus de la théorie de la démonstration, comme le théorème d'accélération de Gödel, montrent que des énoncés simples peuvent avoir des démonstrations très longues, et qui dépendent considérablement du système d'axiomes choisis ; si les mathématiciens ont une préférence pour les « démonstrations élégantes » (qui sont souvent les plus courtes possibles), dans la seconde moitié du XXe siècle, certaines résultats importants ont néanmoins fait l'objet de démonstrations, parfois assistées par ordinateur, d'une longueur exceptionnelle. (fr)
gold:hypernym	List
prov:wasDerivedFrom	wikipedia-en:List_of_long_mathematical_proofs?oldid=1122789154&ns=0

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software