Switch to: Citations

Add references

You must login to add references.
  1. On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
    Download  
     
    Export citation  
     
    Bookmark   718 citations  
  • Three myths of computer science.James H. Moor - 1978 - British Journal for the Philosophy of Science 29 (3):213-222.
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • Philosophy and Computer Science.Timothy Colburn - 2015 - Routledge.
    Colburn (computer science, U. of Minnesota-Duluth) has a doctorate in philosophy and an advanced degree in computer science; he's worked as a philosophy professor, a computer programmer, and a research scientist in artificial intelligence. Here he discusses the philosophical foundations of artificial intelligence; the new encounter of science and philosophy (logic, models of the mind and of reasoning, epistemology); and the philosophy of computer science (touching on math, abstraction, software, and ontology).
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Computation and hypercomputation.Mike Stannett - 2003 - Minds and Machines 13 (1):115-153.
    Does Nature permit the implementation of behaviours that cannot be simulated computationally? We consider the meaning of physical computation in some detail, and present arguments in favour of physical hypercomputation: for example, modern scientific method does not allow the specification of any experiment capable of refuting hypercomputation. We consider the implications of relativistic algorithms capable of solving the (Turing) Halting Problem. We also reject as a fallacy the argument that hypercomputation has no relevance because non-computable values are indistinguishable from sufficiently (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • O pewnych zasadniczych twierdzeniach dotyczących podstaw matematyki i wnioskach z nich płynących.Kurt Gödel - 2018 - Studia Semiotyczne 32 (2):9-32.
    Badania nad podstawami matematyki przyniosły w ostatnich dziesięcioleciach wyniki, które wydają mi się ciekawe nie tylko dla nich samych, lecz także z uwagi na wnioski, jakie płyną z nich w odniesieniu do tradycyjnych problemów filozoficznych dotyczących natury matematyki. Same wyniki są dość szeroko znane, mimo to jednak sądzę, że warto raz jeszcze przedstawić je w zarysie, zwłaszcza w obliczu faktu, że dzięki pracy szeregu matematyków zyskały one znacznie doskonalszą formę, niż miały pierwotnie. Największy postęp, mający decydujące znaczenie dla tych wyników, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Philosophische Schriften.Gottfried Wilhelm Leibniz & Herbert Herring - 1986
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Co łączy umysł z teorią liczb?Paweł Stacewicz - 2012 - Filozofia Nauki 20 (3).
    According to the methodology of cognitive science we consider a hypothesis (justified partially by cognitive applications of computer science), that the mind functions similarly to a computer. Philosophical consequences of this thesis are as follows: (1) there exists a mental code (similar to the code of computer program); (2) this code can be represented as one unique number; (3) this number can be computable or non-computable.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Non-Turing Computations via Malament-Hogarth space-times.Gábor Etesi & István Németi - 2002 - International Journal of Theoretical Physics 41:341--70.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • The many forms of hypercomputation.Toby Ord - 178 - Journal of Applied Mathematics and Computation 178:142-153.
    This paper surveys a wide range of proposed hypermachines, examining the resources that they require and the capabilities that they possess. 2005 Elsevier Inc. All rights reserved.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Leibnizjańskie inspiracje informatyki.Kazimierz Trzęsicki - 2006 - Filozofia Nauki 3.
    Leibniz may be considered as the first computer scientist. He made major contributions to engineering and information science. He invented the binary system, fundamental for virtually all modern computer architectures. He built a decimal based machine that executed all four arithmetical operations and outlined a binary computer. The concepts of lingua characteristica (formal language, programming language) and calculus ratiocinator (formal inference engine or computer program) are the base of the modern logic and information science. Leibniz was groping towards hardware and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations