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 Strassburger 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
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-02475417
Contributor : Lutz Straßburger Connect in order to contact the contributor
Submitted on : Wednesday, February 12, 2020 - 9:12:06 AM
Last modification on : Wednesday, February 2, 2022 - 3:55:19 PM

Links full text

Identifiers

Citation

Lutz Strassburger. 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⟩

Share

Metrics

Record views

24