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 Accéder directement au contenu
Article Dans Une Revue Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences Année : 2019

Dates et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More