MATH
Login Or Sign up

List Question

15
60
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
81
Views

Unification when multiple copies of a formula are needed

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

Can we prove every provable statement with lean?

Published on
#automated-theorem-proving
107
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
35
Views

First order logic formalization problem

Published on
#logic #first-order-logic #automated-theorem-proving #theorem-provers
158
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
196
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
131
Views

Distance between theorems

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

define the "optimal" automatic theorem prover

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

Proofs about theorem-provers in ZFC, in ZFC

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

Help with Prover9 for weak propositional systems

Published on
#logic #automated-theorem-proving #theorem-provers
120
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
121
Views

From a set of rules, derive the implications?

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

Deductive logic counter-intuitive result

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

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.