Why Church's Thesis Still Holds. Some Notes on Peter Wegner's Tracts on Interaction and Computability

No abstract is available for this paper.

• Publication year

  1998

• Venue

  Computer/law journal

• Publication date

  Unknown publication date

• Fields of study

  Mathematics, Philosophy, Computer Science

• Identifiers
  DOI 10.1093/comjnl/41.6.357
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Structural Complexity II

  2012cited by this paper
• Why interaction is more powerful than algorithms

  1997cited by this paper
• Object-Oriented Software Construction, 2nd Edition

  1997cited by this paper
• The universal turing machine: a half-century survey

  1996cited by this paper
• Tutorial Notes: Models and Paradigms of Interaction

  1995cited by this paper
• What Is a Turing Machine

  1994cited by this paper
• Computability: a mathematical sketchbook

  1994cited by this paper
• The Universal Turing Machine: A Half-Century Survey

  1992cited by this paper
• Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie (2. Aufl.)

  1990cited by this paper
• Introduction to the theory of computation

  1989cited by this paper
• 物件導向軟體之架構(Object-Oriented Software Construction)探討

  1989cited by this paper
• Computability, complexity, logic

  1989cited by this paper
• Classical recursion theory

  1989cited by this paper
• Complexity theory and interaction

  1988cited by this paper
• The theory of computability - programs, machines, effectiveness and feasibility

  1988cited by this paper
• Encyclopaedia of mathematics

  1987cited by this paper
• Theory of computation

  1986cited by this paper
• Computer science, a mathematical introduction

  1985cited by this paper
• Introduction to Automata Theory, Languages and Computation

  1979cited by this paper
• Herschel, R., Einführung in die Theorie der Automaten, Sprachen und Algorithmen. München ‐ Wien. R. Oldenbourg Verlag. 1974. 226 S., 152 Abb., DM 29,‐ .

  1977cited by this paper
• Lexikon der Mathematik

  1977cited by this paper

• Computers as Interactive Machines: Can We Build an Explanatory Abstraction?

  2023cites this paper
• Modelling interactive computing systems: Do we have a good theory of what computers are?

  2022cites this paper
• Classical Complexity Classes

  2019cites this paper
• Fixed-Parameter Tractable Time

  2019cites this paper
• List of Computational Problems

  2019cites this paper
• Polynomial-Time Reductions

  2019cites this paper
• Coherence as Constraint Satisfaction

  2019cites this paper
• Reflections and Elaborations

  2019cites this paper
• Preface

  2019cites this paper
• Polynomial versus Exponential Time

  2019cites this paper
• Analogy as Structure Mapping

  2019cites this paper
• Introduction

  2019cites this paper
• Introduction

  2019cites this paper
• Dealing with Intractability

  2019cites this paper
• References

  2019cites this paper
• Replies to Common Objections

  2019cites this paper
• Communication as Bayesian Inference

  2019cites this paper
• Concepts and Techniques

  2019cites this paper
• Cognition and intractability: a guide to classical and parameterized complexity analysis

  2019cites this paper
• Ideal Mechanization: Exploring the Machine Metaphor through Theory and Performance

  2019cites this paper
• Index

  2019cites this paper
• Mathematical Background

  2019cites this paper
• Compendium of Complexity Results

  2019cites this paper
• Parameterized Reductions

  2019cites this paper
• Parameterized Complexity Classes

  2019cites this paper
• Sustainability Through Leveraging of Extraterrestrial Resources

  2018cites this paper
• Computability and realizability for interactive computations

  2015cites this paper
• Super-recursive Algorithms and Modes of Computation

  2015cites this paper
• Verifying of interface assertions for infinite state Mealy machines

  2014cites this paper
• An internet-scale idea generation system

  2013cites this paper
• Agent-based Modeling: The Right Mathematics for the Social Sciences?

  2011cites this paper
• P, NP, and NP-Completeness: Polynomial-time Reductions

  2010cites this paper
• Beyond Turing Machines

  2009cites this paper
• Las Máquinas de Turing Como Modelo General de la Computación. ¿Hacia un Cambio de Paradigma?

  2009cites this paper
• The Tractable Cognition Thesis

  2008cites this paper
• Dialogs and Interaction Schema : Characterizing the Interaction Space of Information Systems

  2007cites this paper
• Interaction and Realizability

  2007cites this paper
• Superrecursive Features of Interactive Computation

  2007cites this paper
• Óñôùøøøøóòòð Åóð Óó Áòøøöö Blockinøøóò Ò Ñ Ëý×øøñ×

  2007cites this paper
• Applications

  2006cites this paper
• The Computational Complexity of Evolving Systems

  2006cites this paper
• Computing and Interaction

  2006cites this paper
• Principles of Interactive Computation

  2006cites this paper
• Philosophy of Computer Science: An Introductory Course

  2005influential citation
• Foundations of stochastic diffusion search

  2004cites this paper
• GENERIC BUSINESS PROCESS MODELS

  2004cites this paper
• Subscription Information Order Information Back Issues Logic Journal of the Igpl

  2003cites this paper
• A Note on Interaction and Incompleteness

  2003cites this paper
• Computations and Computers in the Sciences of Mind and Brain

  2003cites this paper
• Hypercomputation and the Physical Church‐Turing Thesis

  2003cites this paper
• Some Reflections on the Basic Conceptualisation of a Resource Modelling Language for Business Process Modelling -concepts, Requirements and Open Research Questions Arbeitsberichte Des Instituts Für Wirtschaftsinformatik Nr. 35 Arbeitsberichte Des Instituts Für Wirtschaftsinformatik Herausgegeben Von

  2003cites this paper
• Análise da Máquina de Turing Persistente com múltiplas fitas de trabalho

  2003cites this paper
• Turing Machines, Transition Systems, and Interaction

  2002cites this paper
• A computational model of interaction in embedded systems

  2001cites this paper
• Ulrich Frank Organising the Corporation: Research Perspectives, Concepts and Diagrams Arbeitsberichte Des Instituts Für Wirtschaftsinformatik Nr. 25 Ulrich Frank Organising the Corporation: Research Perspectives, Concepts and Diagrams Arbeitsberichte Des Instituts Für Wirtschaftsinformatik Nr. 25 Ar

  2001cites this paper
• Beyond the Turing Limit: Evolving Interactive Systems

  2001cites this paper
• The Turing machine paradigm in contemporary computing

  2001cites this paper
• Towards Foundations of Information Systems Based on Interaction Modeling

  2001cites this paper
• An algebra of fixpoints for characterizing interactive behavior of information systems

  2001cites this paper
• IS=DBS+Interaction: Towards Principles of Information System Design

  2000cites this paper
• On Algorithms and Interaction

  2000cites this paper
• On the Power of Interactive Computing

  2000cites this paper
• Interaction, Computability, and Church's Thesis Interaction, Computability, and Church's Thesis Contents 1. Interaction Machines 1.1. Sequential Interaction Machines (sims) 1.2. Interactive Behavior and Expressiveness 1.3. Multi-stream Interaction Machines (mims) 2. Extensions of Expressiveness 2.1.

  1999cites this paper
• Subscription Information Order Information Back Issues Logic Journal of the Igpl

  year unknowncites this paper