scholarly article | Q13442814 |
P356 | DOI | 10.1112/PLMS/S2-42.1.230 |
P953 | full work available at URL | https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf |
https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/plms/s2-42.1.230 | ||
P243 | OCLC control number | 4655179592 |
P3181 | OpenCitations bibliographic resource ID | 1694013 |
P894 | zbMATH Open document ID | 62.1059.03 |
P50 | author | Alan Turing | Q7251 |
P2860 | cites work | Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I | Q54006652 |
An Unsolvable Problem of Elementary Number Theory | Q55868867 | ||
P2507 | corrigendum / erratum | On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction | Q27638524 |
P433 | issue | 1 | |
P407 | language of work or name | English | Q1860 |
P921 | main subject | computable number | Q818895 |
Entscheidungsproblem | Q11030584 | ||
P6104 | maintained by WikiProject | WikiProject Mathematics | Q8487137 |
P304 | page(s) | 230-265 | |
P577 | publication date | 1937-01-01 | |
P1433 | published in | Proceedings of the London Mathematical Society | Q6087100 |
P1476 | title | On Computable Numbers, with an Application to the Entscheidungsproblem | |
P478 | volume | s2-42 |
Q64093142 | A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies |
Q61927047 | A Highly Random Number |
Q56700681 | A Lambda Calculus for Quantum Computation |
Q58630968 | A NOTE ON THE LITERAL INTELLIGENCE OF COMPUTERS AND DOCUMENTS |
Q48171004 | A Programmer-Interpreter Neural Network Architecture for Prefrontal Cognitive Control |
Q103830699 | A Review of Graph and Network Complexity from an Algorithmic Information Perspective |
Q58355728 | A Vindication of Program Verification |
Q51595699 | A computer scientist's view on mobile DNA: comment on "How life changes itself: the Read-Write (RW) genome" by James Shapiro. |
Q60546686 | A cross-disciplinary introduction to quantum annealing-based algorithms |
Q51630290 | A graph-based reflexive artificial chemistry. |
Q42181018 | A mechanical Turing machine: blueprint for a biomolecular computer |
Q73908108 | A new look at the challenging world of tandem repeats |
Q46197612 | A posteriori metadata from automated provenance tracking: integration of AiiDA and TCOD. |
Q57696188 | A quantum production model |
Q89738120 | A scalable photonic computer solving the subset sum problem |
Q101157410 | A soft matter computer for soft robots |
Q100560330 | A system hierarchy for brain-inspired computing |
Q99608338 | Absolute configuration and host-guest binding of chiral porphyrin-cages by a combined chiroptical and theoretical approach |
Q56939437 | Alan Turing: Founder of Computer Science |
Q58693937 | Algorithmically probable mutations reproduce aspects of evolution, such as convergence rate, genetic memory and modularity |
Q58351602 | Alonzo church:his life, his work and some of his miracles |
Q93023327 | Artificial Intelligence and Machine Learning in Anesthesiology |
Q98239730 | Artificial Intelligence in Pharmacoepidemiology: A Systematic Review. Part 1-Overview of Knowledge Discovery Techniques in Artificial Intelligence |
Q47268262 | Automata in random environments with application to machine intelligence. |
Q56592080 | Behavioural economics: Classical and modern |
Q101157222 | Beyond imitation: Zero-shot task transfer on robots by learning concepts as cognitive programs |
Q89151815 | Bio-Linguistics: Monkeys Break Through the Syntax Barrier |
Q37534322 | Biocomputers: from test tubes to live cells |
Q38017924 | Biomolecular computing systems: principles, progress and potential |
Q92478275 | Characterization of information processing in the subthalamic area of Parkinson's patients |
Q38506498 | Charles Darwin and the evolution of human grammatical systems |
Q53050977 | Church's thesis and its relation to the concept of realizability in biology and physics. |
Q109297777 | Cognitive Mimetics for Designing Intelligent Technologies |
Q45345232 | Collective motion of predictive swarms. |
Q56141879 | Complexity Theory |
Q39995102 | Computability, Gödel's incompleteness theorem, and an inherent limit on the predictability of evolution |
Q47604553 | Computability-theoretic learning complexity |
Q47573331 | Computational Complexity and Human Decision-Making. |
Q93045886 | Computational Neuroscience: Mathematical and Statistical Perspectives |
Q57936250 | Computational Power of Protein Networks |
Q44835513 | Computational complexity in electronic structure |
Q38406096 | Computational modeling of the mind: what role for mental representation? |
Q24630331 | Computational psychiatry |
Q48422482 | Computer science. Beyond Turing's machines. |
Q56068739 | Computers and Automata |
Q94545052 | Computing Endolymph Hydrodynamics During Head Impulse Test on Normal and Hydropic Vestibular Labyrinth Models |
Q99592644 | Computing and modelling: Analog vs. Analogue |
Q40447660 | Computing exponentially faster: implementing a non-deterministic universal Turing machine using DNA. |
Q93091670 | Computing hubs in the hippocampus and cortex |
Q109297747 | Concept analysis in programming language research: done well it is all right |
Q29541606 | Conservation of Information in Search: Measuring the Cost of Success |
Q57006268 | Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness |
Q61938851 | Data compression to define information content of hydrological time series |
Q30585756 | Data convergence in a brain model |
Q42052734 | Deductive derivation and turing-computerization of semiparametric efficient estimation |
Q50643184 | Defining and simulating open-ended novelty: requirements, guidelines, and challenges. |
Q38394827 | Developmental fate and cellular maturity encoded in human regulatory DNA landscapes |
Q70362346 | Die Wikipedia und das Software-Dispositiv: Eine digitale kollaborative Online-Enzyklopädie für die Turing- Galaxis – und die Geschichte des Hypertextes |
Q90205673 | Digital future in perioperative medicine: Are we there yet? |
Q68650159 | Digital image reconstruction : deblurring and denoising |
Q58948407 | Digitally generating true orbits of binary shift chaotic maps and their conjugates |
Q58547506 | Directional threading of a chiral porphyrin cage compound onto viologen guests |
Q21706522 | Dissipative Quantum Church-Turing Theorem |
Q38003818 | Distributed computation: the new wave of synthetic biology devices |
Q58171420 | Dynamique d'un mouvement scientifique et intellectuel aux contours flous : les sciences cognitives (États-Unis, France) |
Q51645695 | Elements of a more comprehensive theory of computing. |
Q90503979 | Emergent neural turing machine and its visual navigation |
Q50126905 | Encoding matter with regiospecific 12C/13C isotopic labels. |
Q51600318 | Encoding universal computation in the ground states of Ising lattices. |
Q58434515 | Engineering as a Source of Scientific Ideas |
Q51872605 | Evolutionary model with Turing machines. |
Q38066644 | Formal design methods for reliable computer-aided diagnosis: a review |
Q51353381 | Formalism and intuition in computability. |
Q56936608 | Foundations of mathematics |
Q51859757 | Free will as relative freedom with conscious component. |
Q57551077 | From Computer Metaphor to Computational Modeling: The Evolution of Computationalism |
Q62398318 | From Hard Science and Computing to Soft Science and Computing – An Introductory Survey |
Q98466542 | From Microbial Communities to Distributed Computing Systems |
Q102204491 | From Scope to Screen: The Evolution of Histology Education |
Q51353374 | From Turing machines to computer viruses. |
Q57711010 | From symbols to icons: the return of resemblance in the cognitive neuroscience revolution |
Q34483929 | From the neuron doctrine to neural networks |
Q62038217 | Fuzzy Turing Machines: Variants and Universality |
Q105337072 | Generating conjectures on fundamental constants with the Ramanujan Machine |
Q57533599 | Generating exact nonlinear ranking functions by symbolic-numeric hybrid method |
Q43071274 | Goethe's dream. Challenges and opportunities for synthetic biology |
Q58503884 | Good Models of Reference Service Transactions: Applying Quantitative Concepts to Generate Nine Characteristic Attributes of Soundness |
Q58502885 | Gödel's Introduction to Logic in 1939 |
Q58599088 | Hardware, Software, Humans: Truth, Fiction and Abstraction |
Q61687204 | Hierarchies of memory limited computations |
Q61603689 | High Level System Design and Analysis Using Abstract State Machines |
Q61444255 | High-performance medicine: the convergence of human and artificial intelligence |
Q51353366 | Honest universality. |
Q104107179 | How Incomputable Is Kolmogorov Complexity? |
Q38123302 | How life changes itself: the Read-Write (RW) genome |
Q92199034 | How to Compute Spectra with Error Control |
Q61479199 | Image registration by compression |
Q51616403 | Implications of the Turing completeness of reaction-diffusion models, informed by GPGPU simulations on an XBox 360: cardiac arrhythmias, re-entry and the Halting problem. |
Q48595480 | Implicit acquisition of grammars with crossed and nested non-adjacent dependencies: investigating the push-down stack model. |
Q77068350 | Impossibility theorems and health care systems |
Q58795442 | Information Processing: The Language and Analytical Tools for Cognitive Psychology in the Information Age |
Q105641796 | Information and Computation |
Q50848736 | Information coding with frequency of oscillations in Belousov-Zhabotinsky encapsulated disks. |
Q51860475 | Information processing algorithms in the brain. |
Q51669790 | Informed Generation: physical origin and biological evolution of genetic codescript interpreters. |
Q59436851 | Integrated waveguide circuits for optical quantum computing |
Q57006441 | Intensionality, Definability and Computation |
Q62607885 | Interaction and Resistance: The Recognition of Intentions in New Human-Computer Interaction |
Q57941460 | Introducing “ecoputation”: A universal systems design process |
Q39953194 | Introduction to focus issue: intrinsic and designed computation: information processing in dynamical systems--beyond the digital hegemony. |
Q38266333 | Is life unique? |
Q51580372 | Kernel method based human model for enhancing interactive evolutionary optimization. |
Q33360309 | Logic, probability, and human reasoning |
Q51469625 | Logical and arithmetic circuits in Belousov-Zhabotinsky encapsulated disks. |
Q62048340 | Long-Term Secure Commitments via Extractable-Binding Commitments |
Q91998225 | Machine Learning Is No Magic: A Plea for Critical Appraisal During Periods of Hype |
Q56505530 | Machines, Logic and Quantum Physics |
Q51609758 | Making classical ground-state spin computing fault-tolerant. |
Q59568278 | Mathematical Mathematical User Interfaces |
Q56057419 | Max Newman: Topologist, Codebreaker, and Pioneer of Computing |
Q51574990 | Maximizing the Adjacent Possible in Automata Chemistries. |
Q62087077 | Measuring complexity to infer changes in the dynamics of ecological systems under stress |
Q57691232 | Membrane Systems and Hypercomputation |
Q57691225 | Membrane system models for super-Turing paradigms |
Q42622957 | Memcomputing NP-complete problems in polynomial time using polynomial resources and collective states. |
Q48139919 | Metaphorical motion in mathematical reasoning: further evidence for pre-motor implementation of structure mapping in abstract domains |
Q59199685 | Metric structures and probabilistic computation |
Q48273869 | Modeling multi-cellular behavior in epidermal tissue homeostasis via finite state machines in multi-agent systems |
Q104107693 | Modelling Consciousness within Mental Monism: An Automata-Theoretic Approach |
Q58822357 | Modelling and traceability for computationally-intensive precision engineering and metrology |
Q43619044 | Modelling, abstraction, and computation in systems biology: A view from computer science |
Q24605627 | Molecular robots guided by prescriptive landscapes |
Q55193732 | More really is different |
Q60307003 | Most Tensor Problems Are NP-Hard |
Q36264128 | Multidisciplinary insight into clonal expansion of HTLV-1-infected cells in adult T-cell leukemia via modeling by deterministic finite automata coupled with high-throughput sequencing |
Q51533164 | Mutation-selection dynamics and error threshold in an evolutionary model for Turing machines. |
Q91557370 | Myths and facts about artificial intelligence: why machine- and deep-learning will not replace interventional radiologists |
Q58245546 | NEURAL COMPUTING IN PERSPECTIVE |
Q39559157 | Neural nets |
Q36800638 | Neural network modelling |
Q42275650 | New perspectives in brain information processing |
Q62089385 | Nicht konstruktiv beweisbare Sätze der Analysis |
Q53694240 | Nonvolatile Memory Materials for Neuromorphic Intelligent Machines. |
Q60019661 | ON THE MATHEMATICAL AND FOUNDATIONAL SIGNIFICANCE OF THE UNCOUNTABLE |
Q40799730 | Objects of consciousness |
Q27638524 | On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction |
Q59614443 | On computable numbers with an application to the AlanTuringproblem |
Q51261984 | On cybernetics, information processing and thinking. |
Q55968646 | On the Possibilities of Hypercomputing Supertasks |
Q105824933 | On the complexity of algebraic numbers |
Q56067072 | On the complexity of algebraic numbers, II. Continued fractions |
Q30596770 | On the computational ability of the RNA polymerase II carboxy terminal domain. |
Q51353343 | On the computational content of convergence proofs via Banach limits. |
Q56083343 | On the concept of a random sequence |
Q29038352 | On the interpretation of intuitionistic number theory |
Q57602232 | On the nature of minds, or: truth and consequences |
Q58012382 | Open Problems in Universal Induction & Intelligence |
Q92439697 | Open-Endedness for the Sake of Open-Endedness |
Q36310279 | Operational derivation of Boltzmann distribution with Maxwell's demon model |
Q89851573 | Organization at criticality enables processing of time-varying signals by receptor networks |
Q95939328 | Particular Biomolecular Processes as Computing Paradigms |
Q91361801 | Pathways to cellular supremacy in biocomputing |
Q43190137 | Pattern perception and computational complexity: introduction to the special issue |
Q57165482 | Perspectives of Social and Ecological Systems |
Q57731900 | Physical and Psychophysical Measurement of Images |
Q57732009 | Physical and Psychophysical Measurement of Images |
Q90046650 | Plant behaviour in response to the environment: information processing in the solid state |
Q36257266 | Probe Machine |
Q38979598 | Processing Binary and Fuzzy Logic by Chaotic Time Series Generated by a Hydrodynamic Photochemical Oscillator. |
Q34308604 | Programs=data=first-class citizens in a computational world |
Q56211003 | Propositions as types |
Q36413032 | PyMICE: APython library for analysis of IntelliCage data |
Q50996084 | Quantum algorithms and mathematical formulations of biomolecular solutions of the vertex cover problem in the finite-dimensional hilbert space. |
Q51319853 | Quantum measurement occurrence is undecidable. |
Q36569471 | Rapid instructed task learning: a new window into the human brain's unique capacity for flexible cognitive control |
Q56041181 | Real-Time Computation and Recursive Functions Not Real-Time Computable |
Q39971718 | Recent Developments in the Theory of Control and Regulation of Cellular Processes |
Q61927045 | Recursion and topology on 2⩽ω for possibly infinite computations |
Q52458015 | Representing and computing regular languages on massively parallel networks. |
Q61478880 | Review††Edited by Adrian Rice and Antoni MaletAll books, monographs, journal articles, and other publications (including films and other multisensory materials) relating to the history of mathematics are abstracted in the Abstracts Department. Th |
Q91781092 | Revisiting the simulation of quantum Turing machines by quantum circuits |
Q47562274 | Robust Exponential Memory in Hopfield Networks |
Q58631011 | SEMIOTICS, INFORMATION SCIENCE, DOCUMENTS AND COMPUTERS |
Q85078926 | Self-assembly, modularity, and physical complexity |
Q56592086 | Seven Kinds of Computable and Constructive Infelicities in Economics |
Q51282330 | Similarity and denoising. |
Q97634982 | Simple Repeats as Building Blocks for Genetic Computers |
Q59117679 | Simulation of Turing Machine with uEAC-Computable Functions |
Q55877958 | Simulation of self-organizing systems by digital computer |
Q47173478 | Size-driven quantum phase transitions |
Q59437113 | Software control and intellectual property protection in cyber-physical systems |
Q57001889 | Some memory, but no mind |
Q37680173 | Spatial aspects of intracellular information processing |
Q49086602 | Speculations on the emergence of self-awareness in big-brained organisms: the roles of associative memory and learning, existential and religious questions, and the emergence of tautologies. |
Q51893395 | Spins as qubits: quantum information processing by nuclear magnetic resonance. |
Q62065984 | State-of-the-Art Survey of Long-Term Archiving – Strategies in the Context of Geo-Data / Cartographic Heritage |
Q104106627 | Statistical Complexity Analysis of Turing Machine tapes with Fixed Algorithmic Complexity Using the Best-Order Markov Model |
Q48426616 | Symbolic functions from neural computation. |
Q99705182 | Syntactic and semantic reasoning in mathematics teaching and learning |
Q36862637 | Synthetic biology: discovering new worlds and new words |
Q36980948 | The 'hard problem' and the quantum physicists. Part 2: Modern times |
Q62489921 | The Alzheimer Precision Medicine Initiative |
Q104797112 | The Camouflage Machine: Optimising protective coloration using deep learning with genetic algorithms |
Q57930335 | The Church–Turing thesis: Still valid after all these years? |
Q90046703 | The Cognitive Lens: a primer on conceptual tools for analysing information processing in developmental and regenerative morphogenesis |
Q38773561 | The Distributed Nature of Working Memory |
Q77449403 | The Efficiency of Algorithms / Harry R. Lewis und Christos H. Papadimitriou. - (1.1978) |
Q62609299 | The Fully Informed Particle Swarm: Simpler, Maybe Better |
Q56700915 | The Gremlin graph traversal machine and language (invited talk) |
Q63347273 | The Impact of Alan Turing: Formal Methods and Beyond |
Q56891877 | The Ontological Interpretation of Informational Privacy |
Q105047119 | The Singularity Isn’t Simple! (However We Look at It) A Random Walk between Science Fiction and Science Fact |
Q56939516 | The Z Notation: Whence the Cause and Whither the Course? |
Q34317225 | The algorithmic origins of life |
Q47953707 | The application of the research work of James Clerk Maxwell in electromagnetics to industrial frequency problems |
Q28660797 | The biological microprocessor, or how to build a computer with biological parts |
Q47196452 | The brain-machine disanalogy revisited |
Q57691253 | The case for hypercomputation |
Q90046686 | The computational stance in biology |
Q30514654 | The neurobiology of syntax: beyond string sets |
Q51353363 | The physical Church-Turing thesis and non-deterministic computation over the real numbers. |
Q48479173 | The role of sustained posterior brain activity in the serial chaining of two cognitive operations: a MEG study. |
Q36289753 | The role of the interaction network in the emergence of diversity of behavior. |
Q38911923 | The simplicity principle in perception and cognition |
Q91944524 | The unfolding argument: Why IIT and other causal structure theories cannot explain consciousness |
Q30010593 | Toward a computational framework for cognitive biology: unifying approaches from cognitive neuroscience and comparative cognition |
Q51632906 | Toward a theory of evolutionary computation. |
Q56170368 | Toward the Minimal Universal Petri Net |
Q104107210 | Towards a Framework for Observational Causality from Time Series: When Shannon Meets Turing |
Q54087184 | Towards molecular computers that operate in a biological environment |
Q34256448 | Turing centenary: Is the brain a good model for machine intelligence? |
Q48425280 | Turing centenary: The dawn of computing. |
Q48478508 | Turing centenary: The incomputable reality. |
Q61927023 | Turing’s Normal Numbers: Towards Randomness |
Q61453588 | Uncertainty and computational complexity |
Q47556534 | Undecidability and Irreducibility Conditions for Open-Ended Evolution and Emergence |
Q46262407 | Universal biology and the statistical mechanics of early life |
Q37689710 | Use of logic theory in understanding regulatory pathway signaling in response to infection |
Q57691192 | Using Isabelle/HOL to Verify First-Order Relativity Theory |
Q54824475 | Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies |
Q56609230 | Utility function security in artificially intelligent agents |
Q113572352 | Value Alignment, Fair Play, and the Rights of Service Robots |
Q89701062 | Veridical data science |
Q110950038 | Verifiability in computer-aided research: the role of digital scientific notations at the human-computer interface |
Q38739466 | Vicarious trial and error |
Q63980024 | Visions de la complexité. Le démon de Laplace dans tous ses états |
Q51359309 | Wasps, termites, and waspmites: distinguishing competence from performance in collective construction. |
Q48331632 | What Is Morphological Computation? On How the Body Contributes to Cognition and Control. |
Q37472801 | What are melanocytes really doing all day long...? |
Q58599101 | When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science |
Q93013146 | Wide coding: Tetris, Morse and, perhaps, language |
Q100424614 | Über drei Erscheinungen von Unterschied in der Mathematik |
Q56040842 | On Computable Numbers, with an Application to the Entscheidungsproblem | main subject | P921 |
Search more.