Imagen de Portada

In Memory of Martin Davis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Calvert, Wesley, Harizanov, Valentina, Omodeo, Eugenio G., Policriti, Alberto, Shlapentokh, Alexandra
Formato:	Preprint
Publicado:	2024
Materias:	History and Overview Logic in Computer Science Logic Number Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Automated Mathematics and the Reconfiguration of Proof and Labor
por: Ochigame, Rodrigo
Publicado: (2023)

Notes on Category Theory with examples from basic mathematics
por: Perrone, Paolo
Publicado: (2019)

The paradoxes and the infinite dazzled ancient mathematics and continue to do so today
por: Kamareddine, Fairouz, et al.
Publicado: (2024)

Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
por: Dvorak, Martin
Publicado: (2026)

Ablation and the Meno: Tools for Empirical Metamathematics
por: Fan, Zhengqin, et al.
Publicado: (2026)

Mathematical Proof Between Generations
por: Bayer, Jonas, et al.
Publicado: (2022)

Computability in infinite Galois theory and algorithmically random algebraic fields
por: Calvert, Wesley, et al.
Publicado: (2023)

A definição de verdade de Tarski
por: Cardoso, Guilherme, et al.
Publicado: (2024)

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
por: Neuwirth, Stefan, et al.
Publicado: (2024)

Weyl's Quantifiers
por: Toader, Iulian D.
Publicado: (2024)

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

From real analysis to the sorites paradox via Reverse Mathematics
por: Dean, Walter, et al.
Publicado: (2025)

Cantor's Powerset Theorem, Graph-Theoretically
por: Salehi, Saeed
Publicado: (2026)

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

On a form of intrinsic optimism in Set Theory
por: Pérez, M. Muñoz
Publicado: (2025)

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
por: De Mol, Liesbeth, et al.
Publicado: (2025)

Secrets and Quantifiers
por: Bajnok, Bela, et al.
Publicado: (2024)

Countable real analysis
por: Klazar, Martin
Publicado: (2023)

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

One Plus One Equals Two Ones: On Identity, Aggregation, and Counting
por: Ghosh, Souvik
Publicado: (2025)

Very basic set theory
por: Homan, Doeko
Publicado: (2023)

In between myth and reality: AI for math -- a case study in category theory
por: Diaconescu, Răzvan
Publicado: (2025)

Artificial Intelligence and the Structure of Mathematics
por: Barkeshli, Maissam, et al.
Publicado: (2026)

On Godel's treatment of the undecidable in 1931
por: Cattabriga, Paola
Publicado: (2024)

Operators in the mind: Jan Lukasiewicz and Polish notation
por: Mizraji, Eduardo
Publicado: (2025)

Nelson's Logical Diagrams
por: Aberdein, Andrew
Publicado: (2023)

Generically Computable Linear Orderings
por: Calvert, Wesley, et al.
Publicado: (2024)

Patterns in Growth and Distribution of Unbounded Prime Number Walks
por: Fraile, Alberto, et al.
Publicado: (2025)

Defining $\mathbb Z$ using unit groups
por: Mazur, Barry, et al.
Publicado: (2023)

What is the Funniest Number? An investigation of numerical humor
por: Pottebaum, E. G.
Publicado: (2025)

Anatomy of a Formal Proof
por: Avigad, Jeremy, et al.
Publicado: (2024)

Measuring Decidability as Related to Busy Beaver Numbers
por: Tandi, Gurpreet, et al.
Publicado: (2026)

Comportamientos extraños del infinito: Gráficas Infinitas
por: Fernández-Bretón, David J., et al.
Publicado: (2025)

Six equations in search of a finite-fold-ness proof
por: Cantone, Domenico, et al.
Publicado: (2023)

An invitation to Fibonacci digits
por: Cheigh, Justin, et al.
Publicado: (2024)

On Amicable Numbers
por: Euler, Leonhard, et al.
Publicado: (2024)

A Study on the Number of Representations of an Integer into Certain Quadratic Forms
por: Kashyap, Kritika
Publicado: (2024)

Ruler and compass constructions in the Lemniscate and the 17-gon
por: Gómez-Molleda, Mariángeles, et al.
Publicado: (2024)

Catalan's conjecture is Mihăilescu's theorem
por: Klazar, Martin
Publicado: (2026)

Learning from Ramanujan: Elementary Approaches to Profound Ideas
por: Bradshaw, Zachary P., et al.
Publicado: (2026)