You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (9)

Journals (0)

1-9 of 9 results for Gödel numbering

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Complexity of Decompositions of Gödel Numberings

Retricted access

Research article

First published 1982

Complexity of Decompositions of Gödel Numberings

Britta Schinzel

Fundamenta Informaticae

Select article: How much partiality is needed for a theory of computability?

Retricted access

Research article

First published 2023-12-21

How much partiality is needed for a theory of computability?

Dieter Spreen

Computability

Select article: Gödel's Arithmetization Procedure as the Basis for a Pattern Recognition System: A Nascent Theory Mapping Pattern into Number and Number into Phenomenal Experience

Retricted access

Research article

First published 1983-12

Gödel's Arithmetization Procedure as the Basis for a Pattern Recognition System: A Nascent Theory Mapping Pattern into Number and Number into Phenomenal Experience

Willard L. Brigner

Perceptual and Motor Skills

Select article: Google and Gödel

Retricted access

Research article

First published 2009-12

Google and Gödel

Thomas Oberdan

Bulletin of Science,Technology & Society

Select article: The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis

Retricted access

Research article

First published 2018-1-16

The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis

Sam Sanders

Computability

Select article: Algorithms that extract knowledge from fuzzy big data: Conserving traditional science 1

Retricted access

Research article

First published 2017-5

Algorithms that extract knowledge from fuzzy big data: Conserving traditional science 1

Allen D. Allen

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Select article: EXPRESSIBILITY OF THE SEMANTICS OF SEQUENTIAL PROGRAMS IN FIRST-ORDER LOGIC

Retricted access

Research article

First published 1994-12

EXPRESSIBILITY OF THE SEMANTICS OF SEQUENTIAL PROGRAMS IN FIRST-ORDER LOGIC

Hardi Hungar

Fundamenta Informaticae

Select article: Numberings,c.e. oracles,and fixed points

Retricted access

Research article

First published 2023-11-13

Numberings,c.e. oracles,and fixed points

Marat Faizrahmanov

Computability

Select article: On the computational properties of the Baire category theorem

Retricted access

Research article

First published 2025-11

On the computational properties of the Baire category theorem

Sam Sanders

Computability

1
10 / page

Article type

Publication date

Subjects

Access