MATH
Login Or Sign up

List Question

15
831
Views

Can the computer be able to design a non-periodic tiling?

Published on
#geometry #computability #tiling
215
Views

Prove $\sqrt[5]{2} > \ln(\pi)$

Published on
#real-analysis #real-numbers #computability
911
Views

How to show that the following sets are equinumerous

Published on
#real-analysis #elementary-set-theory #computability
449
Views

Constructivity and Piecewise Functions

Published on
#computability #constructive-mathematics #intuitionistic-logic #homotopy-type-theory
55
Views

Q11.8 of Boolos textbook - proving that $m \neq n$

Published on
#logic #computability
682
Views

Inverse of a primitive recursive bijection

Published on
#discrete-mathematics #computer-science #computability
113
Views

Proving non-recursiveness

Published on
#computability
201
Views

Problem with this generalised Rice's theorem

Published on
#computability #formal-languages #turing-machines
110
Views

What is the point of defining relations in terms of other relations in mathematics?

Published on
#elementary-set-theory #logic #relations #computability
316
Views

A theory which seems to have proof-theoretic ordinal $\omega_1^{CK}$

Published on
#logic #computability #proof-theory
61
Views

How does one formally show that bounded search with some property $R(a,x)$ is computable i.e. $\exists x \in \mathbf N (x < y \to R(a,x) )$?

Published on
#logic #first-order-logic #predicate-logic #computability
3.2k
Views

What is a computable function?

Published on
#computability #turing-machines
240
Views

A constructivist reading of the Church-Turing thesis

Published on
#logic #recursion #computability
288
Views

Does my solution show that the language is uncomputable by applying rice's theorem?

Published on
#discrete-mathematics #computability #automata #turing-machines
114
Views

Recursion Theory/Incompleteness Theorems: Computability of sets of formulas in first order logic

Published on
#logic #first-order-logic #computability #incompleteness #decidability

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.