Daily Archives: March 9, 2019

Epsilon calculus

https://plato.stanford.edu/entries/epsilon-calculus/ https://math.stackexchange.com/questions/2487914/help-foundations-of-mathematics-the-hilbert-epsilon-operator-bourbaki-and-god https://math.stackexchange.com/questions/508910/some-confusion-about-theory-of-sets-by-bourbaki https://mathoverflow.net/questions/222494/what-was-hilberts-view-of-gödels-incompleteness-theorems https://math.stanford.edu/~feferman/papers/BernaysLecture1.pdf http://www.sa-logic.org/sajl-v2-i1/05-Slater-SAJL.pdf Advertisements

Posted in Philosophie

Adding epsilon to intuitionnistic logic

https://www.researchgate.net/profile/Corey_Mulvihill/publication/317952409_Buying_Logical_Principles_with_Ontological_Coin_The_Metaphysical_Lessons_of_Adding_Epsilon_to_Intuitionistic_Logic/links/5952b843458515a207f7e84a/Buying-Logical-Principles-with-Ontological-Coin-The-Metaphysical-Lessons-of-Adding-Epsilon-to-Intuitionistic-Logic.pdf?origin=publication_detail https://philarchive.org/archive/DEVBLP http://virthost.vub.ac.be/lnaweb/ojs/index.php/LogiqueEtAnalyse/article/view/1237/1026 https://philarchive.org/archive/MULEAA http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf https://ncatlab.org/nlab/show/choice+operator https://www.iep.utm.edu/ep-calc/

Posted in Logique, Philosophie, Science-internelle

Hilbert’s epsilon operator

https://arxiv.org/pdf/0902.3749.pdf

Posted in Philosophie

Mieville : l’ontologie de Lesniwski

https://core.ac.uk/download/pdf/20662251.pdf https://doc.rero.ch/record/29208/files/00002255t.pdf https://plato.stanford.edu/entries/lesniewski/ https://dspace.ucalgary.ca/bitstream/handle/1880/46697/Urbaniak_2008.pdf;jsessionid=7997796B8284FE062A6CF7A121FCD721?sequence=1

Posted in Logique, Philosophie