Proof vs Provability: On Brouwer’s Time Problem

Autor:	Palle Yourgrau
Rok vydání:	2020
Předmět:	TheoryofComputation_MISCELLANEOUS History History and Philosophy of Science Intuitionism 060302 philosophy 010102 general mathematics Calculus 06 humanities and the arts 0101 mathematics 0603 philosophy ethics and religion 01 natural sciences Mathematical theorem Mathematics
Zdroj:	History and Philosophy of Logic. 41:140-153
ISSN:	1464-5149 0144-5340
DOI:	10.1080/01445340.2019.1702264
Popis:	Is a mathematical theorem proved because provable, or provable because proved? If Brouwer’s intuitionism is accepted, we’re committed, it seems, to the latter, which is highly problematic. Or so I ...
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::6c760358e6bd337d61a4f33f2f89ab14 https://doi.org/10.1080/01445340.2019.1702264 Zobrazit plný text záznamu Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.