B. Bolzano as a forerunner of constructivism. I (Q2751849)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: B. Bolzano as a forerunner of constructivism. I |
scientific article; zbMATH DE number 1665201
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | B. Bolzano as a forerunner of constructivism. I |
scientific article; zbMATH DE number 1665201 |
Statements
5 September 2002
0 references
Bolzano
0 references
history of logic
0 references
direct proofs
0 references
B. Bolzano as a forerunner of constructivism. I (English)
0 references
The article provides foundation for the thesis of Bolzano, being one of the first in the history of logic and mathematics who asserted the necessity of using only direct proofs in scientific texts.NEWLINENEWLINEFor the entire collection see [Zbl 0960.00036].
0 references
0.7699986696243286
0 references