Salta al contenuto principale

Ricerc@Sapienza

Home
Login

Home
A Critical Reflection on Automated Science
axiomatic method
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Torna alla Home Page delle pubblicazioni

Mathematical proofs and scientific discovery

pubblicato su: A Critical Reflection on Automated Science - 2020

CATALOGO IRIS SAPIENZA

Anno

2020 (1) Apply 2020 filter

Tipo pubblicazione

02 Pubblicazione su volume (1) Apply 02 Pubblicazione su volume filter

Rivista

Book

(-) Remove A Critical Reflection on Automated Science filter A Critical Reflection on Automated Science

Keywords

(-) Remove axiomatic method filter axiomatic method
analytic method (1) Apply analytic method filter
automated discovery (1) Apply automated discovery filter
formal proofs (1) Apply formal proofs filter
Gödel’s disjunction (1) Apply Gödel’s disjunction filter
mathematical knowledge (1) Apply mathematical knowledge filter

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma