MATH
Login Or Sign up

List Question

15
1.2k
Views

Consequences of solving the Halting problem

Published on
#set-theory #computer-science #physics #computability #philosophy
452
Views

Rank of an interesting matrix

Published on
#linear-algebra #matrices #graph-theory #computer-science
156
Views

On TM's with a single loop

Published on
#computer-science #computational-complexity
281
Views

Diagonalizations and their relation to P and NP

Published on
#computer-science #big-list
40.4k
Views

What does it mean to say a language is context-free?

Published on
#computer-science
223
Views

Formal language problem

Published on
#computer-science #formal-systems
196
Views

Formal language problem

Published on
#computer-science #formal-systems
1k
Views

What is a good language to develop in for simple, yet customizable math programs?

Published on
#computer-science
5.3k
Views

Probability of collision in binary exponential backoff

Published on
#probability #computer-science #network
581
Views

What is the power of a recursive language vs. that of one that is recursively enumerable?

Published on
#logic #computer-science #computability
323
Views

How do we know that there is a function from $\mathbb{N}$ to $\mathbb{N}$ that is not partial computable?

Published on
#computer-science #computability
268
Views

A Function That Creates "Hello World!"

Published on
#sequences-and-series #computer-science
198
Views

Uniform PRNG for long integer structures

Published on
#algorithms #computer-science #random
288
Views

Why can't we diagonalize out, if we deal with partial functions?

Published on
#computer-science #computability
81
Views

Identities for relations of the form (a,b). If it holds, how do you "prove" it?

Published on
#computer-science #relations

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.