検索結果- 英語 - 英語
検索内容:
Ark of the Covenant
name
for the record
field theory
noun
recursion theory
noun
(logic)
A
branch
of
mathematical
logic
studying
computable
functions
and
Turing
degrees,
concerned
with
questions
such
as
"What
does
it
mean
for
a
function
on
the
natural
numbers
to
be
computable?"
and
"Can
noncomputable
functions
be
classified
into
a
hierarchy
based
on
their
level
of
noncomputability?".
loading!
Loading...