PL EN


2011 | 47 | 4(190) | 455-471
Article title

“Mathesis Universalis na nasze czasy: Wkład Fregego, Cantora i Gödla

Title variants
EN
’MATHESIS UNIVERSALIS’ REVISITED: FREGE’S, CANTOR’S AND GöDEL'S CONTRIBUTIONS
Languages of publication
PL
Abstracts
EN
The phrase "Mathesis Universalis" (MU) denotes the project of unifying the whole of knowledge with the help of mathematical methods; under this title the project has appeared at the eve of modernity, having been somehow anticipated by antiquity and middle ages. Its main proponents were Descartes and Leibniz. Leibniz's approach is radically formalistic, being thereby tractable for a machine, while Descartes's is decidedly antiformalistic. The article focuses on Leibniz's project as one being continued in modern science. Its crucial idea that MU should operate through an universal symbolism and a logical calculus is being nowadays realized with respect to the whole of mathematics. The fact that this gets accomplished is owed to those devices, to wit an ingenious notation and a logical calculus, which have been created firstly by Gottlob Frege (1879). An essential contribution is due to Georg Cantor as the author of the theory dealing with powers of sets. This theory introduces the distinction of countably infinite sets and those having the power of continuum. This makes it possible to prove the two propositions fundamental for contemporary MU, one due to Gödel, stating the undecidability of natural arithmetic, the other stating the undecidability of logic. The latter has been demonstrated by Alan Turing. He proved that the programs able to decide about the values of a definite function (i.e. to compute the values) form a countable set, while the set of problems to be decided possesses the power of continuum. Hence there are problems which are not decidable in a machine-like manner what implies, in turn, undecidability of logic. An analogous result of Gödel is accompanied by his very important statement that the limitations of mechanical decidability are just relative to the current state of a formalized system, and can get overcome by creative constructing new devices: primitive notions, axioms and methods of research. Thus the science enjoys a perspective of incessant progress. Such a dynamic vision is a feature to essentially distinguish the modern MU version from the classical one having been static.
Year
Volume
47
Issue
Pages
455-471
Physical description
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.cejsh-fbb761bc-4826-4774-80cf-84ecad51a95e
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.