Suggested Topics within your search.
Suggested Topics within your search.
- Recursive functions 17
- Algorithms 3
- Unsolvability (Mathematical logic) 3
- Gödel's theorem 2
- Logic, Symbolic and mathematical 2
- Turing machines 2
- Computable functions 1
- Computer programming 1
- Congresses 1
- Constructive mathematics 1
- Data processing 1
- Economics, Mathematical 1
- Induction (Mathematics) 1
- Intuitionistic mathematics 1
- Metamathematics 1
- Number concept 1
- Number theory 1
- Recursion theory 1
- Stochastic approximation 1
-
1
Formalized recursive functionals and formalized realizability
Published 1969Subjects: “…Recursive functions.…”
Book -
2
-
3
-
4
-
5
-
6
-
7
-
8
A decision method for elemantary algebra and goemetry
Published 1951Subjects: “…Recursive functions.…”
Book -
9
-
10
-
11
-
12
-
13
Recursive Function Theory
Published 1962Subjects: “…Recursive functions Congresses.…”
Conference Proceeding Book -
14
-
15
The foundations of intuitionistic mathematics :
Published 1965Subjects: “…Recursive functions.…”
Book -
16
Minimal degrees of unsolvability and the full approximation construction
Published 1975Subjects:Book -
17