Questions tagged [computation]

Computational theory is the study of calculations. Important questions are: what can be computed? How quickly can it be computed? What requirements or abilities must a computer have?

Filter by
Sorted by
Tagged with
1
vote
1answer
149 views

Symbolic Processes & Thinking

My question is if there is some concrete symbolic logic at the foundation of human reasoning -something very rudimentary, but still formal? Question may be seen in context of the article given below. ...
4
votes
4answers
165 views

What are some views on the ability to transfer consciousness into a machine?

What are some views on the ability to transfer consciousness into a machine? So when discussing this question, there are two set of questions that arises. What is consciousness, is it something that ...
0
votes
0answers
63 views

Why is Entscheidungsproblem problem undecidable? [duplicate]

I have been trying to wrap my head around Gödel's Completeness Theorem, Incompleteness Theorem(s) and undecidability of Entscheidungsproblem. Turing wrote: It should perhaps be remarked what I shall ...
3
votes
4answers
294 views

Paradoxes around Identity of consciousness, illusion of present time

Thought experiment: Lets say we have two (or more) exactly same brains, in same state, doing exactly same neural activity (hardly possible in reality with biological brains, but eventually possible ...
8
votes
1answer
368 views

Logic and Computation: a philosophical viewpoint on Curry-Howard isomorphism

The link between logic and computation is stronger than ever, especially since the establishment of the Curry-Howard isomorphism specifying that proofs can be seen as programs and formulas as program'...
1
vote
0answers
35 views

Philosophical meaning of the Curry Howard Correspondence

At a technical level, I understand the Curry-Howard correspondence in various settings, and its usefulness as a technical tool. What I'm looking for is a fairly rigorous discussion of genuinely ...
0
votes
0answers
67 views

Computing Premises from Consequence

We write 'If A, then B' to mean that if A is true, then B must be true because B is a logical consequence of A i.e. it is impossible for A to be true but B to be false. Let us consider one such ...
2
votes
1answer
127 views

Where to find the “tightened up” definitions of computing mentioned by Searle?

I think it is probably possible to block the result of universal realizability by tightening up our definition of computation. Certainly we ought to respect the fact that programmers and engineers ...
1
vote
2answers
117 views

In what contexts or disciplines does “One may assume X” imply “One may ignore the possibility of any statement contrary to X being true”?

In computer programming, it has become fashionable for compilers (processors of computer language) to apply the following form of reasoning: A language standard would permit a compiler to assume that ...
0
votes
8answers
690 views

Consciousness in Simulation theory & AI, why do some believe that it is even possible?

There are many famous philosophers that assume that "consciousness can be create by calculations in a computer". For example: Nick Bostrom with the simulation theory [I greatly respect and ...
0
votes
2answers
137 views

Why is Turing claiming that a complete and computable axiomatization of arithmetic would imply the decidability of first-order logic?

So I'm reading the famous paper of Turing "On Computable Numbers, with an Application to the Entscheidungsproblem". At the beginning of his proof of the undecidability of first-order logic (FOL), he ...
1
vote
0answers
46 views

Where does computations occur, in Mind or in Matter?

Short and silly question, but it opens-up to a separation of idealism and materialism on the basis of information. If computations (in the scenario of a materialistic-computational perspective of the ...
15
votes
4answers
1k views

How can the physical world be an abstract mathematical structure a la Tegmark?

This is Tegmark's short formulation of the "mathematical universe" (paraphrased by detractors as "reality made of math"), and he goes out of his way to stress that he means the "is" literally:"Whereas ...
0
votes
0answers
69 views

How do Probably Approximately Correct algorithms work, and is the PAC model an eludication of Piercean abduction

I recently read a fascinating review (in issue no. 136 of Philosophy Now) of Probably Approximately Correct written by Harvard Professor of Applied Mathematics and Computer Science, Leslie Valiant. ...
2
votes
1answer
209 views

Computers, Artificial Intelligence, and Epistemology

Some classification schemes don't list logic as a separate branch of philosophy. I assume they regard logic as a component of epistemology. Of course, others regard logic as a separate branch. The ...
2
votes
3answers
765 views

Do qualia have an evolutionary purpose? (assuming they exist)

Do qualia have an evolutionary function, and if so what is it? Could qualia help us solve problems that Turing machines can't solve? Could qualia help us solve problems faster than normal computers? ...
3
votes
5answers
216 views

Human Mind vs Computer

We start from axioms, use rules of logic, and derive theorems. These theorems establish what is the case in relation to the context. In all disciplines employing mathematics, we reason by saying '...
6
votes
1answer
260 views

Are uncomputable numbers/things a problem for Wheeler's “it from bit”?

I have some questions related to Wheeler's ideas of "It from bit" and "Law without law" In summary, these both theories postulate that there was an initial universe with no laws from which laws of ...
9
votes
4answers
2k views

Do machine learning algorithms have knowledge (if not justified true beliefs)?

By "machine learning algorithm" I'm referring to basic, primarily statistical, machine learning algorithms; for concrete examples consider simple classifier algorithms like SVM or Bayesian classifier ...
0
votes
1answer
85 views

Where can I find arguments for animal rights?

I'm asking this question on behalf of https://philosophy.stackexchange.com/users/47/curi I'm a philosopher (and programmer) attempting to research and diagram arguments relating to animal rights. I'm ...
3
votes
1answer
159 views

Is there a form of set theory involving imperatives and interrogatives?

I finally read the article Is there a Logic of Imperatives? Conifold showed me and it elicited the question, for me, whether imperative programming is a form of imperative logic at all? The essay took ...
0
votes
1answer
91 views

Is it there any specific and well known continous/analog alternative to Wheeler's discrete “It from Bit”?

Physicist John A Wheeler (https://en.m.wikipedia.org/wiki/John_Archibald_Wheeler) suggested the concept of "law without law" and "it from bit" which suggested that the universe did not have any laws ...
1
vote
2answers
143 views

Is there a system where it is impossible to tell the fundamental type of probability?

Premise: What does it mean to take Planck's constant to 0? When someone takes Planck's constant to 0 then they do not effective just substitute Planck's constant with 0. The actual procedure is to ...
11
votes
3answers
2k views

What is the best scientific argumentation against the Dust Theory?

The "Dust Theory", by Greg Egan, states that... ... there is no difference, even in principle, between physics and mathematics, and that all mathematically possible structures exist, among them ...
19
votes
10answers
3k views

Is the universe isomorphic to a universal turing machine?

I often think about problems that require an understanding of the very essence of computation and its inherent limitations. So, my questions are as followed: Is the universe isomorphic to a universal ...
1
vote
0answers
175 views

Are Max Tegmark's Mathematical Universe Hypothesis and Seth Lloyd's Cosmological Model compatible?

I have been interested in Seth Lloyd's cosmological model (which proposes that the universe is a some kind of quantum computer or at least similar to it: https://en.wikipedia.org/wiki/...
4
votes
1answer
114 views

Who first studied “logical (ir)reversibility”?

Who first studied "logical (ir)reversibility" philosophically? By "logical (ir)reversibility" I mean questions like:Why is it easier to multiply large numbers than to factorize them? understand a ...
2
votes
1answer
93 views

Inconsistency in Tegmark's Mathematical Universe Hypothesis?

Physicist Max Tegmark is widely known for proposing that there is a multiverse where mathematical structures would exist as real and actual universes (https://en.wikipedia.org/wiki/...
1
vote
1answer
112 views

Does Gregory Chaitin propose a computable or an uncomputable ontology?

Gregory Chaitin is a mathematician who thinks that the universe is itself a computer, or similar... He has written papers closely related to the field of hypercomputation (For example, he invented the ...
-1
votes
1answer
253 views

Is it there any model of the universe (considered by physicists) which would be the product of a simulation?

There are various philosophical theories that propose that the universe is the product of a simulation. But I was looking for theories that propose this and are also considered by physicists (not only ...
0
votes
1answer
147 views

What is the relationship between computation and Gödel's incompleteness theorems? [closed]

In what way do Godel's incompleteness theorems impact computers/hypercomputers? Do they somehow prevent them from being capable of computing everything (of computing literally all uncomputable/...
-3
votes
2answers
170 views

Is it possible to mathematically define a hypercomputer-universe where things that could not be computed by it could exist? [duplicate]

There are a few physicists that propose that the universe is a hypercomputer. One example is Roger Penrose, who, basing in his quantum interpretation (https://en.wikipedia.org/wiki/...
0
votes
0answers
111 views

Can hypercomputation compute the impossible?

There are things which are illogical/logically impossible (like saying that 2+2=4 and 2+2=5. Without changing anything in the axioms of mathematics or logic, this would be a contradiction and would be ...
2
votes
1answer
60 views

A universal game [closed]

In this question by "metagame" I mean a game which functions to create the rules of a sub-game. Is there a universal metagame that would allow to create any game (including itself). Such game would ...
4
votes
2answers
80 views

Similar to Douglas Adam's HGTTG, Is there any philosophy that views human society as a computation?

In Douglas Adam's Hitchhikers guide to the Galaxy, Earth is a supercomputer that is computing the the Ultimate question, whose answer is 42. I was wondering is Douglas Adams was inspired by any ...
-1
votes
3answers
178 views

Is philosophy computation?

If philosophy is mathematics and mathematics is computation, can I conclude that philosophy is computation? Can we axiomatize philosophy? Can a computer think for us, given the current rise of AI? I'...
3
votes
0answers
127 views

Can Schmidhuber's hypothesis reproduce all types of universes? And Wheeler's it from bit? Or Weizsäcker's ur-theory?

I found a paper that talked about paraconsistent logic systems (https://en.wikipedia.org/wiki/Paraconsistent_logic) and trivialist systems (https://en.wikipedia.org/wiki/Trivialism) and the ...
5
votes
3answers
213 views

Book Recommendation for Computational Theory of Mind

These days I'm really into studying the Computational Theory of Mind (CTM) and I have read papers and documents online. However, I have difficulty capturing the overall (received) theories of CTM at ...
3
votes
0answers
121 views

Is 't Hooft cellular automaton compatible with Floridi's Informational (Structural) Realism?

Informational (Structural) Realism (by Luciano Floridi) relates to digital physics ideas (https://en.wikipedia.org/wiki/Digital_physics) As Floridi himself says in one of his articles (http://philsci-...
1
vote
2answers
116 views

Free will: is reality a record, a game or unpredictable?

If a world is a record (a film), then this scenario does not have conditional rules, i.e., if it can be implemented as a computer program, it will not have "if ... then ..." commands. If a world is a ...
4
votes
1answer
296 views

The mathematical language of the brain

This question is similar, but not identical, to one I posted to the mathematics SE some time ago. I was originally unsure of where to post it. I believe this question is sufficiently different to ...
4
votes
3answers
635 views

Would a conscious computer naturally hold a solipsistic philosophy?

We're biologically incapable of ignoring our senses. I want to clarify what I mean by this, because as posters have suggested we actually can do so, for example by blinding or gouging our eyes. I'm ...
4
votes
2answers
255 views

Where is the knowledge that AI's “knowledge representations” represent?

I find this really confusing. AI often says its computer systems "know" things, but when AI explains how to program a computer to be intelligent, it talks only about "knowledge representation". E.g., ...
5
votes
5answers
708 views

Why doesn't the Chinese room learn Chinese?

I just can't see how John Searle's Chinese room makes sense. The room passes the Turing test. People outside the room think there's a human inside who understands Chinese. But, Searle explains, the ...
2
votes
1answer
854 views

Can computers do things Turing machines can't?

Today's electronic digital computers are often referred to as universal Turing machines. That is, the concept of the UTM is used to understand today's stored-program electronic digital computers. But ...
1
vote
1answer
128 views

What is understanding (of natural language texts) and how can we test or measure it?

What is the definition of the understanding of (written) natural language and how can we test or measure this understanding? What is understanding of the symbolic knowledge be it encoded in any form? ...
2
votes
1answer
116 views

What are the philosophical points that make bear out in the ZFC vs ZF debate?

Or rather why do some people vehemently reject axiom of choice? I am interested from this from the perspective of the philosophy of computation. Intuitively, from the little I know, it seems people ...
1
vote
3answers
552 views

Does Bitcoin disprove solipsism?

According to Wikipedia, solipsism is the philosophical idea that only one's own mind is sure to exist. In 1993, Cynthia Dwork and Moni Naor proposed the idea that one could use proof-of-work to ...
0
votes
1answer
186 views

Is ESP, in particular telepathy, not computable?

In Alan Turing’s “Computing Machinery and Intelligence” he writes in 6(9) The Argument from Extrasensory Perception that I assume that the reader is familiar with the idea of extrasensory ...
1
vote
2answers
186 views

Does adding structure make the Chinese room semantic?

The Chinese room reacts just to syntax, or shape of symbols (is purely syntactic). But brains are full of structure. In the room, Chinese symbols sit scattered in "piles" on the floor or are moved ...