Essays in the philosophy and history of logic and mathematics
Logic Logic, Symbolic and mathematical Mathematics Cantor, Georg, Hilbert, David, Hoene-Wroński, Józef Maria, sähkökirjat
Rodopi
2010
EISBN 9789042030916
Cantor's philosophy of set theory.
Leibniz's and Kant's philosophical ideas vs. Hilbert's program.
Truth vs. provability : philosophical and historical remarks.
Philosophy of mathematics in the 20th Century : main trends and doctrines.
On new trends in the philosophy of mathematics.
Remarks on the structuralistic epistemology of mathematics / with Izabela Bondecka-Krzykowska.
From the history of the concept of number / with Thomas Bedürftig.
Church's thesis and Its epistemological status.
Phenomenology and philosophy of mathematics.
Hoene-Wroński : genius or madman?.
Grassmann's contribution to mathematics.
Giuseppe Peano and symbolic logic.
E.L. Post and the development of logic.
John von Neumann and Hilbert's school.
Contribution of Polish logicians to decidability theory.
Contribution of Polish logicians to predicate calculus.
The English algebra of logic in the 19th century.
The development of symbolism in logic and its philosophical background / with Thomas Bedürftig.
Leibniz's and Kant's philosophical ideas vs. Hilbert's program.
Truth vs. provability : philosophical and historical remarks.
Philosophy of mathematics in the 20th Century : main trends and doctrines.
On new trends in the philosophy of mathematics.
Remarks on the structuralistic epistemology of mathematics / with Izabela Bondecka-Krzykowska.
From the history of the concept of number / with Thomas Bedürftig.
Church's thesis and Its epistemological status.
Phenomenology and philosophy of mathematics.
Hoene-Wroński : genius or madman?.
Grassmann's contribution to mathematics.
Giuseppe Peano and symbolic logic.
E.L. Post and the development of logic.
John von Neumann and Hilbert's school.
Contribution of Polish logicians to decidability theory.
Contribution of Polish logicians to predicate calculus.
The English algebra of logic in the 19th century.
The development of symbolism in logic and its philosophical background / with Thomas Bedürftig.
