MATH
Login Or Sign up

List Question

13
81
Views

Deduction in PA that irreducible implies prime

Published on
#number-theory #prime-numbers #alternative-proof #automated-theorem-proving
225
Views

What is the algorithm for automated theorem proving in intuitionistic propositional logic?

Published on
#logic #constructive-mathematics #intuitionistic-logic #automated-theorem-proving
111
Views

Counterexample for minimal DFA proof

Published on
#combinatorics #formal-languages #automata #automated-theorem-proving
167
Views

Prove that no DFA with two states recognises L.

Published on
#automata #automated-theorem-proving
351
Views

How does writing proofs in Agda differ from writing them in Isar/Isabelle?

Published on
#proof-writing #proof-theory #constructive-mathematics #automated-theorem-proving
141
Views

In homotopy type theory, what is this "mechanical way to create a new expression F' now depending on t' and an equivalence between F(T) and F'(T')"?

Published on
#type-theory #intuitionistic-logic #homotopy-type-theory #automated-theorem-proving
305
Views

Haskell proof checker for FOL with equality

Published on
#logic #first-order-logic #automated-theorem-proving
378
Views

Existence elimination in Lean 3

Published on
#logic #constructive-mathematics #intuitionistic-logic #automated-theorem-proving
95
Views

Demonstration of proving a statement is unprovable

Published on
#provability #automated-theorem-proving
85
Views

Prove that the set is close

Published on
#functional-analysis #analysis #continuity #metric-spaces #automated-theorem-proving
204
Views

Unification in first order logic

Published on
#logic #first-order-logic #predicate-logic #automated-theorem-proving #unification
107
Views

Mechanizing Herbrand’s theorem

Published on
#logic #propositional-calculus #first-order-logic #automated-theorem-proving
56
Views

Given (non-negative) lists 'x' and 'y', if their means and their standard deviations are the same, does this imply 'x=y'? How can I (simply) prove it?

Published on
#probability #proof-writing #means #standard-deviation #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.