Zobrazeno 1 - 10
of 837
pro vyhledávání: '"Zermelo–Fraenkel set theory"'
Autor:
ENAYAT, ALI, HAMKINS, JOEL DAVID
Publikováno v:
The Journal of Symbolic Logic, 2018 Mar 01. 83(1), 146-164.
Externí odkaz:
https://www.jstor.org/stable/26600314
Autor:
Studd, J. P., author
Publikováno v:
Everything, more or less : A defence of generality relativism, 2019.
Externí odkaz:
https://doi.org/10.1093/oso/9780198719649.003.0007
Autor:
Studd, J. P., author
Publikováno v:
Everything, more or less : A defence of generality relativism, 2019.
Externí odkaz:
https://doi.org/10.1093/oso/9780198719649.003.0006
Autor:
Studd, J. P., author
Publikováno v:
Everything, more or less : A defence of generality relativism, 2019.
Externí odkaz:
https://doi.org/10.1093/oso/9780198719649.003.0002
Autor:
Ackermann, Jacobus Gideon
Text in English with abstracts in English, Afrikaans and isiZulu
The formalisation of first-order logic and axiomatic set theory in the first half of the 20th century—along with the advent of the digital computer—paved the way for the develo
The formalisation of first-order logic and axiomatic set theory in the first half of the 20th century—along with the advent of the digital computer—paved the way for the develo
Externí odkaz:
http://hdl.handle.net/10500/25869
Autor:
Andrew Powell
Publikováno v:
Axiomathes. 32:991-1011
This article provides a survey of key papers that characterise computable functions, but also provides some novel insights as follows. It is argued that the power of algorithms is at least as strong as functions that can be proved to be totally compu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::205cc7622725e254253ba79608ad8666
https://doi.org/10.1007/s10516-021-09561-8
https://doi.org/10.1007/s10516-021-09561-8
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Στυλιανόπουλος, Νικόλαος, Βίδρας, Αλέκος, Χριστοφόρου, Κλεοπάτρα, Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών, Τμήμα Μαθηματικών και Στατιστικής, University of Cyprus, Faculty of Pure and Applied Sciences, Department of Mathematics and Statistics, Στυλιανόπουλος, Νικόλαος [0000-0002-1160-5094]
Η παρούσα Μεταπτυχιακή Διατριβή, έχει ως κύριο σκοπό της την ανάδειξη του τρόπου με τον οποίο μαθηματικοί και φιλόσοφοι προσπάθησαν να π
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4485::fbd190a1cd22283a7392302c96f38d25
http://gnosis.library.ucy.ac.cy/handle/7/65125
http://gnosis.library.ucy.ac.cy/handle/7/65125
Autor:
Karan Doshi
Well-ordering of the Reals presents a major challenge in Set theory. Under the standard Zermelo Fraenkel Set theory with the Axiom of Choice (ZFC), a well-ordering of the Reals is indeed possible. However the Axiom of Choice (AC) had to be introduced
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0b9004673cff1438f39565cd15ee10c2
https://doi.org/10.9734/bpi/ctmcs/v9/3400
https://doi.org/10.9734/bpi/ctmcs/v9/3400