Proof-analysis and Continuity

2006 ◽  
Vol 11 (1-2) ◽  
pp. 121-155 ◽  
Author(s):  
Michael Otte
Keyword(s):  
Proof Analysis

Proof Analysis of Peirce’s Alpha System of Graphs

Studia Logica ◽  
2016 ◽  
Vol 105 (3) ◽  
pp. 625-647 ◽  
Author(s):  
Minghui Ma ◽  
Ahti-Veikko Pietarinen
Keyword(s):  
Proof Analysis

Modelling and Proof Analysis of Interrupt Driven Scheduling

2006 ◽  
pp. 155-170 ◽  
Author(s):  
Bill Stoddart ◽  
Dominique Cansell ◽  
Frank Zeyda
Keyword(s):  
Proof Analysis

Proof analysis in intermediate logics

2011 ◽  
Vol 51 (1-2) ◽  
pp. 71-92 ◽  
Author(s):  
Roy Dyckhoff ◽  
Sara Negri
Keyword(s):  
Intermediate Logics ◽  
Proof Analysis

Proof Analysis. A Contribution to Hilbert's Last Problem

2013 ◽  
Vol 34 (1) ◽  
pp. 98-99
Author(s):  
F. Poggiolesi
Keyword(s):  
Proof Analysis

scholarly journals From mathematical axioms to mathematical rules of proof: recent developments in proof analysis

2019 ◽  
Vol 377 (2140) ◽  
pp. 20180037 ◽  
Author(s):  
Sara Negri ◽  
Jan von Plato
Keyword(s):  
General Theory ◽  
Simple Proof ◽  
Proof Theory ◽  
Theme Issue ◽  
Short Text ◽  
David Hilbert ◽  
Proof Analysis ◽  
Recent Developments ◽  
Mathematical Problems

A short text in the hand of David Hilbert, discovered in Göttingen a century after it was written, shows that Hilbert had considered adding a 24th problem to his famous list of mathematical problems of the year 1900. The problem he had in mind was to find criteria for the simplicity of proofs and to develop a general theory of methods of proof in mathematics. In this paper, it is discussed to what extent proof theory has achieved the second of these aims. This article is part of the theme issue ‘The notion of ‘simple proof’ - Hilbert's 24th problem’.

Proof analysis in non-classical logics

2009 ◽  
pp. 107-128 ◽  
Author(s):  
Sara Negri
Keyword(s):  
Proof Analysis

Proof analysis in elementary geometry

2011 ◽  
pp. 157-182
Author(s):  
Sara Negri ◽  
Jan von Plato
Keyword(s):  
Elementary Geometry ◽  
Proof Analysis

Proof Analysis

2009 ◽  
Author(s):  
Sara Negri ◽  
Jan von Plato
Keyword(s):  
Proof Analysis
Sign in / Sign up

Export Citation Format

Share Document