Skip to main content

Ricerc@Sapienza

Home
Login

Home
mathematical knowledge
Gödel’s disjunction
Risultati ricerca pubblicazioni

Risultati ricerca 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

A Critical Reflection on Automated Science (1) Apply A Critical Reflection on Automated Science filter

Keywords

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

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