Buchumschlag

Weyl's Quantifiers

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Toader, Iulian D.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	History and Overview Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Why Did Weyl Think that Emmy Noether Made Algebra the Eldorado of Axiomatics?
von: Toader, Iulian D.
Veröffentlicht: (2024)

Permanence as a Principle of Practice
von: Toader, Iulian D.
Veröffentlicht: (2024)

Peacock's Principle as a Conservative Strategy
von: Toader, Iulian D.
Veröffentlicht: (2026)

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

Secrets and Quantifiers
von: Bajnok, Bela, et al.
Veröffentlicht: (2024)

A definição de verdade de Tarski
von: Cardoso, Guilherme, et al.
Veröffentlicht: (2024)

Analytic proofs for logics of evidence and truth
von: Carnielli, Walter, et al.
Veröffentlicht: (2024)

From real analysis to the sorites paradox via Reverse Mathematics
von: Dean, Walter, et al.
Veröffentlicht: (2025)

Cantor's Powerset Theorem, Graph-Theoretically
von: Salehi, Saeed
Veröffentlicht: (2026)

A correspondence problem for mathematical proof
von: DeDeo, Simon, et al.
Veröffentlicht: (2026)

On a form of intrinsic optimism in Set Theory
von: Pérez, M. Muñoz
Veröffentlicht: (2025)

One Plus One Equals Two Ones: On Identity, Aggregation, and Counting
von: Ghosh, Souvik
Veröffentlicht: (2025)

The paradoxes and the infinite dazzled ancient mathematics and continue to do so today
von: Kamareddine, Fairouz, et al.
Veröffentlicht: (2024)

Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
von: Dvorak, Martin
Veröffentlicht: (2026)

Very basic set theory
von: Homan, Doeko
Veröffentlicht: (2023)

Ablation and the Meno: Tools for Empirical Metamathematics
von: Fan, Zhengqin, et al.
Veröffentlicht: (2026)

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

Artificial Intelligence and the Structure of Mathematics
von: Barkeshli, Maissam, et al.
Veröffentlicht: (2026)

Mathematical Proof Between Generations
von: Bayer, Jonas, et al.
Veröffentlicht: (2022)

In Memory of Martin Davis
von: Calvert, Wesley, et al.
Veröffentlicht: (2024)

Distribution can be Dropped: Reply to Rumfitt
von: Toader, Iulian D.
Veröffentlicht: (2024)

Operators in the mind: Jan Lukasiewicz and Polish notation
von: Mizraji, Eduardo
Veröffentlicht: (2025)

Notes on Category Theory with examples from basic mathematics
von: Perrone, Paolo
Veröffentlicht: (2019)

Nelson's Logical Diagrams
von: Aberdein, Andrew
Veröffentlicht: (2023)

Automated Mathematics and the Reconfiguration of Proof and Labor
von: Ochigame, Rodrigo
Veröffentlicht: (2023)

Guises and Perspectives: An Intentional and Hyperintensional Sketch
von: Colomina-Alminana, Juan J.
Veröffentlicht: (2026)

On Godel's treatment of the undecidable in 1931
von: Cattabriga, Paola
Veröffentlicht: (2024)

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

Ordine privo di periodicità: il fascino matematico delle tassellazioni
von: D'Andrea, Francesco
Veröffentlicht: (2025)

Reflecting on beauty: the aesthetics of mathematical discovery
von: Jevtić, Filip D., et al.
Veröffentlicht: (2024)

Algumas luminescências sobre o jogo Lights Out
von: Verdério, Adriano, et al.
Veröffentlicht: (2024)

Des croquis comme support de raisonnement et de changement de registres
von: Grenier, D, et al.
Veröffentlicht: (2024)

Countable real analysis
von: Klazar, Martin
Veröffentlicht: (2023)

Intuitive but Non-Rigorous Explanations of Infinite Numbers
von: Cranmer, Steven R.
Veröffentlicht: (2024)

Mikio Sato, a visionary of mathematics
von: Schapira, Pierre
Veröffentlicht: (2024)

A Note on Gamma Function and Convolution
von: Mota, Francisco
Veröffentlicht: (2024)

A review of Alfred North Whitehead's "Introduction to Mathematics"
von: Hales, Thomas
Veröffentlicht: (2024)

The Significance of Ethnomathematics Learning: A Cross-Cultural Perspectives Between Indonesian and Thailand Educators
von: Wulandari, I Gusti Ayu Putu Arya, et al.
Veröffentlicht: (2024)

Hard Proofs and Good Reasons
von: DeDeo, Simon
Veröffentlicht: (2024)

Theodorus mathematical Lesson (Theaetetus, 147c7-d6) I What are Theodorus' drawings? II Theodorus' demonstrations of irrationality
von: Ofman, Salomon
Veröffentlicht: (2024)