MATH
Login Or Sign up

List Question

15
828
Views

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

Published on
#geometry #computability #tiling
212
Views

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

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

How to show that the following sets are equinumerous

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

Constructivity and Piecewise Functions

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

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

Published on
#logic #computability
679
Views

Inverse of a primitive recursive bijection

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

Proving non-recursiveness

Published on
#computability
198
Views

Problem with this generalised Rice's theorem

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

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

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

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

Published on
#logic #computability #proof-theory
58
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
237
Views

A constructivist reading of the Church-Turing thesis

Published on
#logic #recursion #computability
285
Views

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

Published on
#discrete-mathematics #computability #automata #turing-machines
113
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

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.