MATH
Login Or Sign up

List Question

15
70
Views

Weird analogy between quadratic forms and formal systems

Published on
#logic #quadratic-forms #formal-systems
58
Views

Is there a term for this logical property?

Published on
#logic #formal-systems
369
Views

Axiomatic set theory as a first-order logic theory?

Published on
#set-theory #first-order-logic #formal-systems
158
Views

How to express induction when we just have finitely many instances, but still proceed inductively over them

Published on
#discrete-mathematics #proof-writing #induction #formal-proofs #formal-systems
111
Views

Logic -can it possible we derive all theorems in formal system and we can't derive more theorems?

Published on
#logic #formal-systems
126
Views

Does introducing a new type create a different extension, and is it still conservative?

Published on
#logic #set-theory #axioms #foundations #formal-systems
282
Views

The existence of unprovably unprovable statements provable in ZFC

Published on
#logic #formal-proofs #formal-systems #provability
1k
Views

Are there logics without modus ponens?

Published on
#logic #computer-science #formal-proofs #formal-systems #nonclassical-logic
672
Views

Can one-element set be considered equal to its element?

Published on
#logic #formal-systems #alternative-set-theories
242
Views

Show that any monotone boolean function can be realize by the following connectives.

Published on
#logic #proof-verification #propositional-calculus #formal-systems
85
Views

A formal language problem

Published on
#formal-languages #formal-systems
2.1k
Views

Definition of the bound and unbound variable

Published on
#logic #predicate-logic #first-order-logic #formal-systems
1.2k
Views

Is every true statement about the natural numbers provable in ZFC?

Published on
#logic #set-theory #incompleteness #peano-axioms #formal-systems
334
Views

Book request - formal logic

Published on
#book-recommendation #formal-systems
527
Views

What is the purpose of the Axiom of regularity/foundation?

Published on
#logic #set-theory #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.