Skip to Main content Skip to Navigation
Journal articles

The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem

Lutz Straßburger 1, 2
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
2 Inria Saclay - Ile de France
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-02475417
Contributor : Lutz Straßburger <>
Submitted on : Wednesday, February 12, 2020 - 9:12:06 AM
Last modification on : Friday, April 30, 2021 - 10:02:41 AM

Links full text

openaccess

Identifiers

Collections

LIX | X-LIX | INRIA | X | X-DEP-INFO | CNRS | GS-COMPUTER-SCIENCE

Citation

Lutz Straßburger. The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Royal Society, The, 2019, 377 (2140), pp.20180038. ⟨10.1098/rsta.2018.0038⟩. ⟨hal-02475417⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

79

 

Contact                    Legal Notice                    Personal Data