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?
140
questions
1
vote
1
answer
174
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.
...
0
votes
0
answers
85
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. ...
3
votes
5
answers
511
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 '...
0
votes
3
answers
183
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 ...
-1
votes
1
answer
120
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
1
answer
194
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 ...
1
vote
2
answers
153
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 ...
3
votes
6
answers
433
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 ...
1
vote
0
answers
283
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
1
answer
149
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 ...
4
votes
3
answers
317
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
1
answer
181
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
1
answer
259
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
1
answer
454
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
2
answers
338
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/...
1
vote
0
answers
194
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 ...
1
vote
0
answers
149
views
What does philosophy say about the normativity of simulated thought within the analytical tradition?
Given the coherence theory of truth, new propositions must observe previous theory and logic (i.e. every thinking step must be consistent with rules of logic); many analytic philosophies believe it is ...
2
votes
1
answer
71
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
2
answers
127
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 ...
6
votes
1
answer
338
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 ...
3
votes
0
answers
165
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 ...
7
votes
3
answers
521
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
0
answers
135
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
2
answers
157
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 ...
5
votes
2
answers
409
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., ...
2
votes
1
answer
177
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 ...
0
votes
3
answers
234
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'...
4
votes
1
answer
377
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 ...
3
votes
1
answer
2k
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 ...
2
votes
1
answer
136
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 ...
6
votes
7
answers
1k
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
5
answers
435
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
2
answers
251
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 ...
2
votes
1
answer
236
views
Is computationalism really a theory, or is it more like a doctrine or creed?
When studying AI, computationalism was always referred to as a theory, a theory of mind, the theory that the mind is an executing computation. But is it really a theory? How could it be disproved or ...
3
votes
5
answers
322
views
Dichotomy problem: limits of binary systems
What are the limitations of accumulating or storing knowledge in a binary system? For a more concrete question, can all knowledge information be represented by an infinite sequence of 1's and 0's or ...
1
vote
3
answers
828
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 ...
2
votes
1
answer
599
views
Is quantum indeterminacy inextricable from observation?
I understand uncertainty from a combinatorial and game theoretic perspective, as functions of incomplete or imperfect information, or intractability which is a type of inaccessible information in that ...
9
votes
1
answer
678
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
0
answers
116
views
Rethinking arithmetic operations after J.L. Austin's performativity?
According to Kant, arithmetic statements such as "7+5=12" are synthetic a priori. Could we alternatively think of this not as a statement, but as an arithmetic-logic operation to be executed (like a ...
1
vote
1
answer
168
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
2
answers
501
views
Ancestor Simulations Theory contradicts Chaos Theory, Quantum Mechanics and Irreducibility? [closed]
(NB. I've no training as a philosopher, but I'm a student of science with an interest)
So there in the media this theory of reality as a simulation is gaining popularity, mostly because of types as ...
15
votes
4
answers
2k
views
How does Penrose defeat the computational theory of mind?
In Shadows Of The Mind Roger Penrose puts forth a Gödelian argument against the computational theory of mind. He then goes on to suggest that quantum mechanics plays a central role in the realization ...
3
votes
1
answer
348
views
Does the simulation hypothesis confuse discovering with inventing?
The simulation hypothesis seems to stipulate that the actual simulation is what makes the inhabitants of the simulated universe to come alive, to exist.
This is what I am questioning. If I create a ...
1
vote
2
answers
223
views
Scientificity of the Church-Turing's thesis
The definition of the Church-Turing's thesis is an attempt at capturing the intuitive idea of effective computability or "things that can actually be calculated".
It has been said that it is not ...
2
votes
1
answer
219
views
Do supporters of "machine creativity" necessarily support "natural creativity"?
Recently, someone asked Can computers be programmed to be creative? on Philosophy SE. The answers seem to be divided into two competing theories:
If creativity is defined by the ability to create an ...
1
vote
1
answer
390
views
Given proofs of A → B and A, when do we get a proof of B?
In intuitionistic mathematics, a proposition is true only when a proof of it has been experienced. Following the BHK semantics, a proof of A → B is an algorithm that, when given a proof of A, will ...
0
votes
1
answer
114
views
Does a computational model of introspection exist?
This post contains a related question.
Probably it is easier (not claiming the computational theory of mind is true) to analyze, if there at least exists an abstract computational machine that is ...
4
votes
1
answer
246
views
What do dual-intuitionistic and minimal logic model?
As someone interested in theoretical computer science, I'm fairly comfortable with what intuitionistic logic represents. An intuitionistic proof is a proof we can act upon algorithmically. The law of ...
0
votes
5
answers
192
views
Random Computer Generated Number [closed]
Isn't expecting a computer to generate a random number like expecting a computer to not be a computer? For the computer it is like creating a rule to not follow a rule. I feel EVERYTHING follows a ...
2
votes
3
answers
1k
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?
...