MATH
Login Or Sign up

List Question

15
59
Views

Can you exhibit a 3rd-or-higher order logical formula that has no "Prenex normal form"?

Published on
#logic #propositional-calculus #higher-order-logic #second-order-logic #automated-theorem-proving
80
Views

Unification when multiple copies of a formula are needed

Published on
#proof-explanation #predicate-logic #automated-theorem-proving #unification
130
Views

Can we prove every provable statement with lean?

Published on
#automated-theorem-proving
106
Views

Is someone trying to solve problems by building all possible proofs using all possible rules of inference?

Published on
#turing-machines #incompleteness #provability #automated-theorem-proving
32
Views

First order logic formalization problem

Published on
#logic #first-order-logic #automated-theorem-proving #theorem-provers
157
Views

Are there attempts to use machine learning to settle disputes over long mathematical proofs?

Published on
#proof-writing #math-software #artificial-intelligence #automated-theorem-proving
195
Views

An endless loop in a program that search for mathematical theorems and proofs − a milestone?

Published on
#soft-question #computer-science #math-history #automated-theorem-proving #theorem-provers
129
Views

Distance between theorems

Published on
#reference-request #logic #information-theory #automated-theorem-proving
227
Views

define the "optimal" automatic theorem prover

Published on
#logic #automated-theorem-proving
432
Views

Proofs about theorem-provers in ZFC, in ZFC

Published on
#logic #computability #proof-theory #automated-theorem-proving
271
Views

Help with Prover9 for weak propositional systems

Published on
#logic #automated-theorem-proving #theorem-provers
115
Views

Prime numbers qns

Published on
#prime-numbers #automated-theorem-proving
61
Views

Equivalence classes of $\{ij\ |\ i, j ∈ \{a, b\}^* , i \neq j\}$

Published on
#finite-automata #automated-theorem-proving
120
Views

From a set of rules, derive the implications?

Published on
#logic #computer-science #constraints #automated-theorem-proving
126
Views

Deductive logic counter-intuitive result

Published on
#logic #proof-verification #natural-deduction #automated-theorem-proving

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.