Proof mining
id:
proof-mining-294-16054630
title:
Proof mining
text:
In proof theory, a branch of mathematical logic, proof mining is a research program that studies or analyzes formalized proofs, especially in analysis, to obtain explicit bounds, ranges or rates of convergence from proofs that, when expressed in natural language, appear to be nonconstructive.
This research has led to improved results in analysis obtained from the analysis of classical proofs.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Proof_mining
date created:
date modified:
2022-03-24T10:39:37Z
main entity:
{"identifier":"Q7250003","url":"https://www.wikidata.org/entity/Q7250003"}
image:
fields total:
13
integrity:
13