Newbetuts
.
New posts in formal-systems
How do you go about formalizing a concept?
soft-question
intuition
mathematical-modeling
advice
formal-systems
Is the decidability of all possible axiomatizations equivalent to decidability?
logic
formal-systems
decidability
Representing first order sentences as conceptual graphs
logic
formal-systems
What does "calculus" mean?
calculus
logic
terminology
lambda-calculus
formal-systems
What is the purpose of the Axiom of regularity/foundation?
logic
set-theory
formal-systems
Some different versions of completeness of a formal system, of a logic and of a theory
logic
formal-systems
Understanding the syntactical completeness
logic
incompleteness
formal-systems
What makes a context free grammar ambiguous?
computer-science
formal-systems
The Power of Lambda Calculi
logic
proof-theory
lambda-calculus
formal-systems
Foundation of Formal Logic
logic
set-theory
formal-languages
formal-systems
Formal System and Formal Logical System
logic
formal-systems
Calculus of Natural Deduction That Works for Empty Structures
logic
proof-theory
formal-proofs
natural-deduction
formal-systems
Why is establishing absolute consistency of ZFC impossible?
logic
set-theory
formal-systems
What is the definition of a definition?
logic
definition
computer-science
model-theory
formal-systems
Are axioms assumed to be true in a formal system?
logic
formal-systems
natural deduction: introduction of universal quantifier and elimination of existential quantifier explained
logic
proof-theory
formal-proofs
natural-deduction
formal-systems
Is formal truth in mathematical logic a generalization of everyday, intuitive truth?
logic
soft-question
philosophy
foundations
formal-systems
Prev