February 2023 Archives by date
Starting: Thu Feb 2 00:07:56 EST 2023
Ending: Tue Feb 28 15:33:48 EST 2023
Messages: 89
- RE: Mathematics with the potential infinite - not so fast Zeno
dennis.hamilton at acm.org
- On the set of all unique genuine numbers
I.V. Serov
- Arthur Schopenhauer: Logic and Dialectic / Internet Encyclopedia of Philosophy
jean-yves beziau
- Re[2]: Mathematics with the potential infinite
Matthias
- One PhD and Two Postdocs in Logic, Gothenburg (Sweden)
Graham Leigh
- CFP: Australasian Logic Colloquium (6-7 November, Brisbane, Australia)
Guillermo Badia
- RE: Mathematics with the potential infinite - some inexhaustible?
dennis.hamilton at acm.org
- A question about finitism
Arnon Avron
- Mathematics with the potential infinite
Vaughan Pratt
- Actual and Potential infinite
JOSEPH SHIPMAN
- Re: Mathematics with the potential infinite - some inexhaustible?
martdowd at aol.com
- A question about finitism
James Moody
- Mathematics with the potential infinite
James Moody
- _Mathematics with the G structure_
I.V. Serov
- Mathematics with the potential infinite
Vaughan Pratt
- Last Call for Participation: Logic Mentoring Workshop at CSL'23, Feb 17, Warsaw
Michaël Cadilhac
- Nordic Online Logic Seminar: next talk on 27 February by Sven Ove Hansson
Graham Leigh
- Actual and Potential infinite
Matthias
- special issue of Journal of Logic and Analysis dedicated to the 75th birthday of Dieter Spreen
Maria Emilia Maietti
- SCAN 2023: Call for Submissions
Stanislav Speranski
- Indian Religions and the Concept of God: An Online Workshop, 13-14 Feb 2023, 9am CET (13 Feb only) and 3pm CET
FRANCISCO MARIANO
- CfP: Special Issue of the Logic Journal of the IGPL on Connexive Logic
Fernando Cano J.
- Actual and Potential infinite
Stephen G. Simpson
- Actual and Potential infinite
JOSEPH SHIPMAN
- Finitism
WILLIAM TAIT
- HoTT/UF 2023: 2nd Call for Contributions
Jonathan Weinberger
- Actual and Potential infinite
Sam Sanders
- Actual and Potential infinite
Stephen G. Simpson
- Finitism
Paul Levy
- SCAN 2023: Call for Submissions
Stanislav Speranski
- Soliciting quality logic-related book reviews for Studia Logica
Adam Trybus
- CiE 2023: FINAL CALL FOR PAPERS (EXTENDED DEADLINE)
acie at acie.eu
- R: ?Mathematics with the potential infinite or not
Antonino Drago
- Two Queries about Univalent Foundations
JOSEPH SHIPMAN
- Mathematics with the potential or actual infinite or without emptiness
I.V. Serov
- Mathematics with the potential or actual infinite or without emptiness
dennis.hamilton at acm.org
- Mathematics with the potential or actual infinite or without emptiness
Patrik Eklund
- A question about finitism
Kapantais Doukas
- Two Queries about Univalent Foundations
Buzzard, Kevin M
- Two Queries about Univalent Foundations
JOSEPH SHIPMAN
- Re: Mathematics with the potential infinite - some inexhaustible?
James Moody
- A question about finitism
Haim Gaifman
- TABLEAUX 2023 - PRELIMINARY CALL FOR PAPERS
Josef Urban
- What differentiates FOM from other religions?
Vaughan Pratt
- FOM Digest, Vol 242, Issue 10
Vaughan Pratt
- 2nd Call for Papers: LOGIC COLLOQUIUM 2023, University of Milan (Italy)
gprimiero at libero.it
- Two Queries about Univalent Foundations
Timothy Y. Chow
- TABLEAUX 2023 - PRELIMINARY CALL FOR PAPERS
D.R.S. Ramanayake
- CFP: LPAR-24 (Logic for Programming, Artificial Intelligence and Reasoning)
David Fuenmayor
- LUW Feb 15 - Lindenbaum-type Logical Structures by Sayantan Roy
jean-yves beziau
- Midlands Graduate School in the Foundations of Computing Science 2023
Paul Levy
- A question about finitism
Vaughan Pratt
- Re[2]: Mathematics with the potential infinite - some inexhaustible?
Matthias
- Two Queries about Univalent Foundations
JOSEPH SHIPMAN
- computationally bounded observers and non-constructive mathematics
José Manuel Rodríguez Caballero
- 29th WoLLIC 2023 - 3rd Call for Papers (DEADLINE APPROACHING)
Ruy Jose Guerra Barretto de Queiroz
- Two Queries about Univalent Foundations
Timothy Y. Chow
- CfA: HaPoC 2023 - 7th International Conference on the History and Philosophy of Computing, first call
Kubiak Adam
- What differentiates FOM from other religions?
dennis.hamilton at acm.org
- computationally bounded observers and non-constructive mathematics
Vaughan Pratt
- CFP TYPES 2023
Eduardo Hermo Reyes
- A question about finitism
dennis.hamilton at acm.org
- Two Queries about Univalent Foundations
JOSEPH SHIPMAN
- Two Queries about Univalent Foundations
Timothy Y. Chow
- 29th WoLLIC 2023 - Final Call for Papers (>>DEADLINE EXTENDED<<)
Ruy Jose Guerra Barretto de Queiroz
- HoTT/UF 2023: Deadline extended / 3rd Call for Contributions
Jonathan Weinberger
- Two Queries about Univalent Foundations
Timothy Y. Chow
- Fw: Two Queries about Univalent Foundations
Epstein, Adam
- new manuscript on conservative view of new axioms
martdowd at aol.com
- University of Leeds Lecturer or Associate Professor in Pure Mathematics
Paul Shafer
- Abstract Categorical Logic / Isabelle Bloch / LUW February 22
jean-yves beziau
- A question about finitism
Montgomery Link
- Two Queries about Univalent Foundations
Timothy Y. Chow
- 1st Call for Contributions - Women in Logic Workshop (WiL 2023)
Tephilla Prince
- The Lost World of Genesis One: The Logic and Religion Webinar, February 23
FRANCISCO MARIANO
- UQ Philosophy Seminar: next talk by Alexander Paseau (Friday 3 March, Zoom)
Guillermo Badia
- A question about finitism - reformatted
dennis.hamilton at acm.org
- Final Call for Papers: LOGIC COLLOQUIUM 2023, University of Milan (Italy)
gprimiero at libero.it
- monads and Turing machines
José Manuel Rodríguez Caballero
- monads and Turing machines
dennis.hamilton at acm.org
- monads and Turing machines
José Manuel Rodríguez Caballero
- monads and Turing machines
zhangyinshengnet at sina.com
- LOGICA 2023 - 2nd CFP
Igor Sedlar
- 29th WoLLIC 2023 - FINAL Call for Papers (>>>>DEADLINE RE-EXTENDED<<<<)
Ruy Jose Guerra Barretto de Queiroz
- SILFS Triennial Conference 2023 - Urbino
Pierluigi Graziani
- monads and Turing machines
dennis.hamilton at acm.org
- monads and Turing machines
José Manuel Rodríguez Caballero
- monads and Turing machines
dennis.hamilton at acm.org
- monads and Turing machines
Ingo Blechschmidt
Last message date:
Tue Feb 28 15:33:48 EST 2023
Archived on: Thu Mar 2 00:33:29 EST 2023
This archive was generated by
Pipermail 0.09 (Mailman edition).