MATH
Login Or Sign up

List Question

15
79
Views

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

Published on
#formal-proofs #formal-systems
392
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
192
Views

Language of an Axiomatic System in the Incompleteness Theorem

Published on
#logic #examples-counterexamples #axioms #incompleteness #formal-systems
126
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
185
Views

Is the set of formulas equivalent to a bounded formula decidable

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

Every Turing machine corresponds to a formal system

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

Choosing axiom schemes for a logical theory

Published on
#formal-languages #axioms #foundations #formal-systems #decidability
478
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
328
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
312
Views

Proof explanation of invalidity implying a non-tautology

Published on
#proof-explanation #propositional-calculus #first-order-logic #predicate-logic #formal-systems
280
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
339
Views

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

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

Independence and Consistence of Formal Systems

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

How it makes sense to talk about consistency of theories?

Published on
#logic #formal-systems

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.