MATH
Login Or Sign up

List Question

15
101
Views

Can computer use the Henkin method?

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

Is an associative binary operation with trivial squares necessarily commutative?

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

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

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

Proving a shift transformation theorem with taylor series

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

Equivalence or Isomorphism of Types

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

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

Published on
#axioms #automated-theorem-proving
82
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
210
Views

Nonstandard Natural Numbers via Internal Set Theory in Coq

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

Building an Automated Theorem Prover with Machine Learning

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

"Paradox" involving Hilbert's decision problem

Published on
#logic #meta-math #automated-theorem-proving
75
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
55
Views

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

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

Can the resolution algorithm be applied to any FOL formula?

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

Proving (a ↔ a) → a in LEAN3

Published on
#logic #automated-theorem-proving
54
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

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.