MATH
Login Or Sign up

List Question

15
1k
Views

Is the Church-Kleene Ordinal describable with Kleene's $O$?

Published on
#logic #computability #ordinals #proof-theory #foundations
129
Views

Generating a context free grammar

Published on
#computer-science #computability #context-free-grammar
722
Views

Decidable language closed under complement

Published on
#computer-science #computability
180
Views

Ackermann function and primitive recursiveness

Published on
#computer-science #computability #computational-mathematics #recursion
259
Views

Simplifying Relations in a Group

Published on
#abstract-algebra #group-theory #computability #gap #computational-algebra
354
Views

Is DFA (Deterministic Finite Automata) a kind of predicate?

Published on
#logic #computability
236
Views

Termination of a Fast Exponentiation problem

Published on
#induction #computability #exponentiation #recursive-algorithms #recursion
748
Views

"Nested" recursion preserves primitive recursive functions

Published on
#computational-complexity #computability #recursion
124
Views

Course-by-values recursion

Published on
#computational-complexity #computability #recursion
611
Views

Finding the upper bound for this recursion: $T(n) = T(\log n) + O(\log n)$

Published on
#recurrence-relations #computability
125
Views

Proof of easy direction of van Lambalgen's theorem from Downey & Hirschfeldt

Published on
#computability #algorithmic-randomness
72
Views

Is the language that consists of machine configurations whose language is a subset of even palindromes semi-decidable?

Published on
#computability #turing-machines
1.6k
Views

Project Euler's Problem Number 88

Published on
#combinatorics #algorithms #computational-complexity #computability #project-euler
280
Views

Futamura Projections- Compatibility - Interpreter and Compiler

Published on
#computability
467
Views

Prove a language is NP-Complete

Published on
#computer-science #computational-complexity #computability

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.