Ralph Loader
- The Undecidability of λ-Definability
2001/01/01 by Ralph Loader · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies
- Finitary PCF is not decidable
2001/09/01 by Ralph Loader · 1 citation
Computer Science · Mathematics · #Abstraction #Algebra over a field #Combinatorics #Computability, Logic, AI Algorithms #Conjecture #Decidability #Discrete mathematics #Epistemology #Finitary #Logic, programming, and type systems #Mathematics #Philosophy #Pure mathematics #Representation (politics) #Undecidable problem #semigroups and automata theory