vix.ing · top · new · best · stats · spec

Proving Theorems from Reflection

2019/01/01 by Philip Welch, Philip D. Welch · 1 citation
Computer Science · Mathematics · Psychology · #Advanced Topology and Set Theory #Artificial intelligence #Axiom #Axiom of choice #Axiomatic system #Calculus (dental) #Computability, Logic, AI Algorithms #Computer science #Epistemology #Foundations of mathematics #Geometry #Infinity #Mathematical analysis #Mathematical economics #Mathematics #Mathematics education #Philosophy #Philosophy and Theoretical Science #Physics #Reflection (computer programming) #Resolution (logic) #Set (abstract data type) #Set theory #Universe #Zermelo–Fraenkel set theory

paper · doi:10.1007/978-3-030-15655-8_4

crossref issued 2019/01/01 · crossref published 2019/01/01 · crossref published-print 2019/01/01 · openalex publication_date 2019/01/01 · crossref created 2019/11/11 · crossref published-online 2019/11/12 · crossref deposited 2024/07/26 · crossref indexed 2025/03/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04

Citations

Cited by