MATH
Login Or Sign up

List Question

15
100
Views

Can computer use the Henkin method?

Published on
#logic #computer-science #first-order-logic #formal-proofs #automated-theorem-proving
119
Views

Is an associative binary operation with trivial squares necessarily commutative?

Published on
#binary-operations #automated-theorem-proving
76
Views

Mathematical logic: What does '?' mean in these Coq (proof-assistant) tactics?

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

Proving a shift transformation theorem with taylor series

Published on
#linear-algebra #taylor-expansion #transformation #mathematica #automated-theorem-proving
184
Views

Equivalence or Isomorphism of Types

Published on
#foundations #type-theory #automated-theorem-proving
103
Views

Are there any sets of axioms that have an efficient algorithm for all provable statements?

Published on
#axioms #automated-theorem-proving
81
Views

Is it possible to check the validity of the following theorem in Group Theory automatically by a computer? If so, how?

Published on
#linear-algebra #first-order-logic #formal-proofs #automated-theorem-proving
209
Views

Nonstandard Natural Numbers via Internal Set Theory in Coq

Published on
#axioms #nonstandard-analysis #automated-theorem-proving
561
Views

Building an Automated Theorem Prover with Machine Learning

Published on
#algebraic-geometry #reference-request #book-recommendation #automated-theorem-proving
84
Views

"Paradox" involving Hilbert's decision problem

Published on
#logic #meta-math #automated-theorem-proving
74
Views

Proof of distributivity of $\land$ over $\lor$ using disjE in natural deduction

Published on
#logic #propositional-calculus #natural-deduction #formal-proofs #automated-theorem-proving
54
Views

Why is this proof of False in the Calculus of Constructions not valid?

Published on
#fake-proofs #lambda-calculus #automated-theorem-proving
31
Views

Can the resolution algorithm be applied to any FOL formula?

Published on
#first-order-logic #programming #automated-theorem-proving
50
Views

Proving (a ↔ a) → a in LEAN3

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

What is the best way to manipulate probability expressions in code?

Published on
#probability #probability-theory #statistics #programming #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.