The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences Year : 2019

Dates and versions

hal-02475417 , version 1 (12-02-2020)

Identifiers

Cite

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, 2019, 377 (2140), pp.20180038. ⟨10.1098/rsta.2018.0038⟩. ⟨hal-02475417⟩
27 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More