MATH
Login Or Sign up

List Question

15
72
Views

What is a gross-looking formal axiomatic proof for a relatively simple proposition?

Published on
#formal-proofs #formal-systems
385
Views

How to use axioms to prove a derivation in propositional calculus?

Published on
#logic #propositional-calculus #formal-systems
1.2k
Views

Foundation of Formal Logic

Published on
#logic #set-theory #formal-languages #formal-systems
184
Views

Language of an Axiomatic System in the Incompleteness Theorem

Published on
#logic #examples-counterexamples #axioms #incompleteness #formal-systems
119
Views

How much of first order statements can we derive purely from the definitions in arithmetic?

Published on
#logic #model-theory #peano-axioms #formal-proofs #formal-systems
181
Views

Is the set of formulas equivalent to a bounded formula decidable

Published on
#logic #predicate-logic #computational-complexity #natural-numbers #formal-systems
749
Views

Every Turing machine corresponds to a formal system

Published on
#logic #computer-science #turing-machines #incompleteness #formal-systems
113
Views

Choosing axiom schemes for a logical theory

Published on
#formal-languages #axioms #foundations #formal-systems #decidability
473
Views

GEB Why is it necessary for TNT-PROOF-PAIR{a,a'} to be represented in TNT?

Published on
#elementary-number-theory #logic #formal-systems
321
Views

The intuitive meaning of "or" and "implies" in axiom schemes of a logical theory

Published on
#logic #formal-languages #axioms #formal-proofs #formal-systems
306
Views

Proof explanation of invalidity implying a non-tautology

Published on
#proof-explanation #propositional-calculus #first-order-logic #predicate-logic #formal-systems
276
Views

Why must $x$ be not free in $\psi$ in order for $(\psi\to\phi)\vDash[\psi\to(\forall x\phi)]$?

Published on
#proof-verification #logic #proof-explanation #quantifiers #formal-systems
335
Views

Creating a formal system which corresponds to multiplication (of natural numbers)

Published on
#logic #foundations #formal-systems
89
Views

Independence and Consistence of Formal Systems

Published on
#logic #first-order-logic #proof-theory #formal-systems
97
Views

How it makes sense to talk about consistency of theories?

Published on
#logic #formal-systems

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.