"Consistent Ultrafinitist Logic" published

[mjg...@gmail.com]

Dear All interested in Ultrafinitism and rejection of infinitary assumptions of Goedel,

The paper on "Consistent Ultrafinitist Logic" together with Pi dependent type for quantification has been officially published as part of the volume LIPIcs, Volume 303, TYPES 2023 which is available at:

https://www.dagstuhl.de/dagpub/978-3-95977-332-4

Your paper is available at: https://doi.org/10.4230/LIPIcs.TYPES.2023.5

Please read, criticize and do not hesitate to suggest improvements.

Given enormous potential of ultrafinisti, decidable logic that aims to capture all computable, I believe the story is just starting...

--

  Best regards

    Michał J. Gajda
    Senior Haskeller at Well.co (this email does not represent opinion of the company)
    Founder of migamake.com, streamcardano.com
    Associate Editor for Structure, Spectroscopy & Imaging, Frontiers in Chemical Biology
    https://loop.frontiersin.org/people/2025678/overview
    Papers
    https://scholar.google.com/citations?user=lEgyR_AAAAAJ&hl=en