Rigor and Structure. [elektronicky zdroj]
| Autor: | Burgess, John P. |
|---|---|
| Jazyk: | angličtina |
| Informace o vydání: | Oxford : Oxford University Press, Incorporated, 2015. |
| Předmět: | |
| Druh dokumentu: | Online; Non-fiction; Electronic document |
| Abstrakt: | Summary: John P. Burgess presents an illuminating study of the nature of mathematical rigor and of mathematical structure, and above all of the relation between them. He considers recent developments in the field including experimental mathematics and computerized formal proofs, and surveys many historical developments in mathematics, philosophy, and logic. |
| Databáze: | Vybrané kolekce e-knih |
| Externí odkaz: |
|