Filters
Cantor’s Diagonal Proof
Cantor’s diagonal proof is significant both because the central method of proof used in it has been subsequently applied in a number of other proofs, and because limit. Although Cantor’s proof...
Philosophy, History and Philosophy of science and technology
- 2023 •
- JSC •
- Link
Rok uplatnění
JSC - Článek v periodiku v databázi SCOPUS
Výsledek na webu
Continuum, Name, and Paradox
Cantor's proof is compared with some other famous proofs such as Dedekind's recursion theorem,showing that rather than usual proofs they are resolutions to do thingsThe article deals with Cantor's argumen...
AA - Filosofie a náboženství
- 2010 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
The Truth of Proof: A Hegelian Perspective on Constructivism
are the patterns of self-consciousness, such as Cantor’s diagonal results, adopted is the concept of proof, particularly with respect to Gödel theorems and the resulting split of knowledge into proof and truth. I ...
Philosophy, History and Philosophy of science and technology
- 2019 •
- C •
- Link
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Rewriting rules for arithmetics in alternate base systems
For alternate Cantor real base numeration systems we generalize the result. The proof uses rewriting rules on the language of expansions in the corresponding numeration system. The proof is constructive and provides a metho...
Applied mathematics
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
The set of Cantor in mathematics of universities
The article, devoted to the education of further teachers of Mathematics, contains one of possible definitions of Cantor set, further the proof of its uncountability and zero measure. The second part of the article deals with the pr...
BA - Obecná matematika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
Is continuum denumerable?
The article deals with Cantor?s argument for the non-denumerability of reals somewhat in the spirit of Lakatos? logic of mathematical discovery. I argue that there are ?ontologically? safer ways of developing the diagonal argument i...
AA - Filosofie a náboženství
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Joining non-low C.E. sets with diagonally non-computable functions
We show that every non-low C.E. set joins all ?-0-2 (?^0_2) diagonally non-computable functions to ?'. We give two proofs: a direct argument, and a proof using an analysis of functions that are DNC relative to an oracle, ex...
BA - Obecná matematika
- 2013 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
How to name a real number
The article deals with Cantor?s diagonal argument and its alleged philosophical consequences such as that (1) there are more reals than integers and, hence, (2) that some of the reals must be independent of language because the tota...
AA - Filosofie a náboženství
- 2011 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Cyclic, diagonal and facial colorings - a missing case
We provide a proof for the case missing in our original paper on the topic.
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
On Equality and Natural Numbers in Cantor-Lukasiewicz Set Theory
Two equality predicates in Cantor-Lukasiewicz set theory (with full comprehension, over Lukasiewicz predicate logic) are investigated: extensional =e result says that the Cantor-Lukasiewicz set theory is essentially undecidable and ...
BA - Obecná matematika
- 2013 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
- 1 - 10 out of 5 731