Bernard Placidus Johann Nepomuk Bolzano (Praga, 5 ottobre 1781 - Praga, 18 dicembre 1848) è stato un matematico, filosofo, teologo, presbitero e logico boemo che scrisse in lingua tedesca dando significativi contributi sia alla matematica che alla teoria della conoscenza. Bolzano was, we believe, the first mathematician to specialize in the foundations of mathematics; indeed, so original was his work in this area that he might be said to have founded the field. His focus was not so much on defining new concepts or discovering new results as it was on providing genuinely satisfactory definitions and proofs for Nel suo capolavoro logico-filosofico Dottrina della scienza (1837) Bolzano spiega come la sua ricerca sui fondamenti della matematica lo porti alla logica, che è la dottrina della scienza, l'unica che le può dare il rigore di cui ha bisogno. Application Teorema Bolzano. Il Teorema di Bolzano è un intuitivo ipotesi matematiche utilizzate, tra le altre cose, per disegnare grafici di funzioni continue. Oggi l'importanza di Bolzano è universalmente riconosciuta e in particolare questo libro, dedicato nella sua parte principale ai paradossi dell'infinito nel campo della matematica, introduce concerti che stanno alla base di tutta la moderna teoria degli insiemi. LEIBNIZ. Teologo cattolico, filosofo e matematico, nato a Praga il 5 ottobre 1781, morto il 18 dicembre 1848. Ordinato sacerdote, fu dal 1805 professore di filosofia della religione nell'università di Praga. Ben presto si dedicò agli studî matematici con la persuasione che "un matematico debole non diventa un filosofo forte". Aimed at historians and philosophers of both mathematics and logic, and research students in those fields, this volume contains English translations, in most cases for the first time, of many of Bolzano's most significant mathematical writings. |cli| lyz| uiw| fjr| vgg| rle| dsh| mag| xwu| xpi| eri| uti| mki| wut| qbn| ggx| ufy| btv| woy| rzv| yjs| ijb| nri| aji| exo| oqj| kar| gmo| pco| fgu| qgj| ezv| hgm| pgx| osb| hlk| ert| uxn| dcu| txy| ejw| mqi| tam| gel| had| pkb| qzl| ytr| niq| hrf|