Imagen de Portada

Boolos' Hardest Logic Puzzle Ever can be solved in no less than three admissible questions: axiomatic framework and rigorous proof

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Colomina-Almiñana, J. J., Stinga, P. R.
Formato:	Preprint
Publicado:	2018
Materias:	History and Overview
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Alice Ambrose on Logic, A Priori Concepts, and the Epistemology of Convention
por: Colomina-Alminana, Juan J.
Publicado: (2026)

Guises and Perspectives: An Intentional and Hyperintensional Sketch
por: Colomina-Alminana, Juan J.
Publicado: (2026)

A Probability Puzzle
por: Otero, Daniel
Publicado: (2024)

A simple proof for generalized Fibonacci numbers with dying rabbits
por: De Prisco, Roberto
Publicado: (2023)

But some are more equal than others
por: Hjort, Nils Lid
Publicado: (2026)

Kurt Gödel and the Logic of Concepts
por: Kostić, Jovana, et al.
Publicado: (2024)

Max/Min Puzzles in Geometry
por: Parks, James M
Publicado: (2022)

Timaeus' Puzzle of the Innumerable Interstices in a Universe Without Void
por: Brisson, Luc, et al.
Publicado: (2025)

Some conditions for a good start in problem solving in elementary school. Primum non nocere
por: Hersant, Magali, et al.
Publicado: (2025)

A correspondence problem for mathematical proof
por: DeDeo, Simon, et al.
Publicado: (2026)

Analytic proofs for logics of evidence and truth
por: Carnielli, Walter, et al.
Publicado: (2024)

Mathematical Definition and Systematization of Puzzle Rules
por: Maeda, Itsuki, et al.
Publicado: (2024)

Max/Min Puzzles in Geometry IV
por: Parks, James M
Publicado: (2025)

Max/Min Puzzles in Geometry III
por: Parks, James M
Publicado: (2022)

Max/Min Puzzles in Geometry II
por: Parks, James M
Publicado: (2022)

The anthyphairetic reconstruction of the original Pythagorean proof of incommensurability, by means of the restoration of Book II of the Elements to its original Pythagorean form
por: Negrepontis, Stelios, et al.
Publicado: (2025)

Thomassen's proof and Filippov's proof of the Weak Jordan Theorem
por: Klazar, Martin
Publicado: (2026)

A new elementary proof of the formula $\sum\limits_{n=1}^{\infty}\frac{1}{n^2}=\frac{π^2}{6}$
por: Li, Jia
Publicado: (2025)

A camel with a less strict diet
por: de Bondt, Michiel
Publicado: (2024)

Waterproof Editor: an educational environment for proof assistants and programming languages
por: Otte, Pim, et al.
Publicado: (2026)

Are University Budget Cuts Becoming A Threat to Mathematics? with Additional Discussion
por: Fuller, Edgar J.
Publicado: (2024)

What makes a demonstration worthy of the name?
por: Jorion, Paul J.
Publicado: (2025)

Hermite's letters to Francisco Gomes Teixeira
por: Freitas, Pedro J.
Publicado: (2025)

Mathematics in art, for art and as art
por: Esteban, Maria J.
Publicado: (2025)

If you can distinguish, you can express: Galois theory, Stone--Weierstrass, machine learning, and linguistics
por: Blum-Smith, Ben, et al.
Publicado: (2025)

An Elementary but Logical Approach to Integration
por: Yamagami, Shigeru
Publicado: (2022)

Egg Drop Problems: They Are All They Are Cracked Up To Be!
por: Cao, Xiangwen, et al.
Publicado: (2025)

Geometric Proof of the Irrationality of Square-Roots for Select Integers
por: Chen, Zongyun, et al.
Publicado: (2024)

An Algebraic-Symmetric Analysis of Counterpoint and Modulation in the Music of Claudio Monteverdi
por: Agustín-Aquino, Octavio A., et al.
Publicado: (2025)

Intuitive but Non-Rigorous Explanations of Infinite Numbers
por: Cranmer, Steven R.
Publicado: (2024)

The Nature of Reasoning in Theology, Philosophy, and Mathematics
por: Mangum, Chad R.
Publicado: (2025)

Strategy flexibility in university mathematics
por: Hästö, Peter, et al.
Publicado: (2023)

When Mathematics Meets Painting: Fibonacci Geometry, Cubism and Visual Abstraction
por: Mondal, Shankhadeep, et al.
Publicado: (2026)

Des croquis comme support de raisonnement et de changement de registres
por: Grenier, D, et al.
Publicado: (2024)

An elementary question of Erdős and Graham
por: Hegyvári, Norbert
Publicado: (2025)

Oleg Marichev: On the occasion of the eightieth anniversary
por: Askhabov, S. N., et al.
Publicado: (2025)

13 or 14, Halloween surprise
por: Panov, Aleksei, et al.
Publicado: (2025)

The mathematics of periodic anthyphairesis as a basis for the full understanding of Plato's philosophy
por: Negrepontis, Stelios, et al.
Publicado: (2025)

The complexities of falling freely
por: Sen, Anindya, et al.
Publicado: (2025)

Mean Value Theorems and L'Hospital-Type Rules for Regulated Functions
por: Ghatasheh, Ahmed
Publicado: (2023)