Questions tagged [philosophy]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
2 answers
67 views

Mathematical Foundation for Dimensioned Quantities?

Is there support in the foundation of mathematics for dimensioned quantities? Those immersed in real-world software problems, continually confront the absence of dimensioned quantities in programming ...
James Bowery's user avatar
4 votes
1 answer
120 views

Is the Turing machine the only framework to analyse limits of computation?

In Theory of Computation lessons, the limits of computation are usually analyzed within the framework of Turing machines, so if something isn't solvable with Turing Machine, then we consider this ...
math boy's user avatar
  • 353
0 votes
1 answer
125 views

Why can't humans translate all of their abilities into an algorithm? Will that hold true in the future?

I know that an algorithm can't decide whether another algorithm halts on an input or not (a Turing machine can't decide whether another Turing machine will halt on an input). But I, as an human, can: ...
lilsm's user avatar
  • 3
0 votes
0 answers
44 views

Is computation of a given operation infinitely multiply realizable 'computationally-speaking'?

This is a somewhat philosophical question, but I would like to know if there is a hard answer. Also, please excuse my likely unconventional terminology here, this is not my field of expertise. ...
clayton groth's user avatar
2 votes
0 answers
80 views

What are some of the philosophical implications if BPP = P?

As it stands, the general consensus seems to be that BPP = P. If this conjecture were indeed true, what would be some of the philosophical implications beyond theoretical computer science? I know that ...
Ashvin Jagadeesan's user avatar
0 votes
0 answers
27 views

Asymmetric communication between two symmetric parties?

(sci-fi-esque question inspired by Counterpart). A portal between our world (called $A$) and a parallel world that's exactly the same (called $B$) opens up. Bob sees himself through this portal. $A$-...
chausies's user avatar
  • 532
-1 votes
2 answers
104 views

Is P vs NP, a paradox in a hypothetical perspective?

In a hypothetical scenario, where a precise and formal definition does not exist here, and thus expressed with analogies and verbal reasoning for the sake of simplifying the P, NP problem. A(lan) ...
Jeremy Shiklov's user avatar
0 votes
2 answers
187 views

My attempt at the "This statement is false" paradox

(I haven't read any literature on this paradox nor am I good at formal proofs, so this is just my intuitive thoughts on the paradox.) If we assume the statement "This statement is false" as ...
ChocolateOverflow's user avatar
0 votes
1 answer
61 views

Using hypercomputation for "impossible" problems?

In mathematics and philosophy there are some unsolvable problems like Russell's paradox or the liar's paradox that are usually said to be undecidable... There are also other "impossibilities"...
vengaq's user avatar
  • 101
0 votes
4 answers
222 views

Why do some "common sense" $P \ne NP$ arguments seem to disregard high-degree polynomials?

I've seen arguments for $P \ne NP$ that rely on certain intuitions about how the real world actually is, generally making the point that it "makes sense" that there exist problems which have ...
CuriosityScream's user avatar
10 votes
4 answers
6k views

Could Gödel’s incompleteness theorem be circumvented with a quine?

As you all probably know, Gödel’s incompleteness theorem states, that it will never be possible for mathematics to prove its own correctness. Mainly because that proof would be part of mathematics too,...
user avatar
-6 votes
3 answers
249 views

Why has it taken so long to prove that P != NP?

A question that answers itself. If P=NP could be proved in a formal language, then surely it would be as easy to verify the proof as it would be to discover/derive it? Couldn't a program just quickly ...
johnbot's user avatar
1 vote
2 answers
137 views

Is a file a string of zeros and ones?

Is a computer file just a string of zeroes and ones? If so, can it start with zeroes? I have not been able to find an answer, surprisingly.
Alex's user avatar
  • 113
0 votes
2 answers
74 views

Are objects appropriate for modeling the real world?

First of all, I know objects are not meant to model the real world, although they have been marketed as such and perhaps that was an intention at some point. Here I say 'modeling the real world' in a ...
Piovezan's user avatar
  • 113
-1 votes
1 answer
47 views

What exactly prevents there from being a free OS like IBM's self-maintaining "z" OS? [closed]

IBM designed IBM i as a "turnkey" operating system, requiring little or no on-site attention from IT staff during normal operation. This is a dream of mine. Unfortunately, it costs a ...
Gaspar's user avatar
  • 1
0 votes
0 answers
53 views

Is entropy a good indicator of the quality of a lossy compression?

Say I want to quantitively evaluate the effectiveness of several color-to-grayscale conversion algorithms, which can be considered as lossy compression. Would entropy be a good indicator? To ...
nalzok's user avatar
  • 1,101
0 votes
0 answers
70 views

Can we see all of mathematics as an attempt to simplify computations?

This is a rather strong claim, and therefore likely to be incorrect, but hear me out. Firstly, when I talk of “computations”, I mean this in a broader sense than normally used, because I am including ...
user56834's user avatar
  • 3,752
1 vote
1 answer
170 views

How the concept of computer change over time? [closed]

There was a time when a "computer" was a person who worked on accounts. However, machines were introduced and this profession eventually died out over time. The definition below was taken ...
Raphael Augusto's user avatar
0 votes
2 answers
102 views

Is the credit assignment problem a well-posed one?

Credit assignment is the process of assigning credit (or blame) to a particular move in a sequence of moves (temporal credit assignment) or to a particular node (structural credit assignment) among ...
Joebevo's user avatar
  • 41
8 votes
1 answer
577 views

Is Coq synthetic or analytic?

In CMU's HoTT course, lecture 1, which can be found here: https://scs.hosted.panopto.com/Panopto/Pages/Viewer.aspx?id=0945cc7f-48b7-4803-81af-e7193a3f461d At 33:52, Harper was giving parallel ...
Jason Hu's user avatar
  • 632
1 vote
1 answer
66 views

Can agent be autonomous without having consciousness?

My intuition is that 1) self-awareness (modeled through epistemic modal logics); 2) goal reasoning (e.g. https://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12292) and 3) consciousness (e.g. ...
TomR's user avatar
  • 1,401
6 votes
1 answer
310 views

Solomonoff's theory of induction, Kolmogorov complexity and Bayesian Inference

My motivations for asking this question are philosophical in nature. I'm by no means a computer scientist though, and I feel as though this question should be answered by someone who is since it's one ...
Joe Lee-Doktor's user avatar
218 votes
32 answers
53k views

Why is writing down mathematical proofs more fault-proof than writing computer code?

I have noticed that I find it far easier to write down mathematical proofs without making any mistakes, than to write down a computer program without bugs. It seems that this is something more ...
user56834's user avatar
  • 3,752
1 vote
0 answers
57 views

is-child-of, is-instance-of as intensional and extensional inheritance relation - is object-oriented modelling an great oversimplification?

I am trying to build knowledge base in OpenCog cognitive architecture (http://wiki.opencog.org/w/The_Open_Cognition_Project) and I see that OpenCog lacks usual means to express notions of object-...
TomR's user avatar
  • 1,401
1 vote
1 answer
103 views

In the learning theory version of Occam's razor, why can't I just declare whatever hypothesis I want to be "shortest"?

Occam's razor states that shorter explanations (formally speaking, hypotheses) are more likely to be correct. Indeed this can be formalized: for a hypothesis class $\mathcal H$ one may ascribe ...
djechlin's user avatar
  • 497
1 vote
3 answers
244 views

Usefulness of a linked list with a cycle

Is a singly-linked list that contains a cycle considered a corrupted data structure or is there some practical use for it? (You could argue that a car without its front shield is not corrupted, if ...
Daniel Lovasko's user avatar
4 votes
2 answers
423 views

If the universe were predetermined, would non-deterministic automata still make sense?

If the universe were governed by predeterminism (i.e. some deity decided in advance how everything, ever, would play out), would the notion of non-deterministic automata make sense? Or would it not, ...
JesseTG's user avatar
  • 325
49 votes
4 answers
10k views

Why can humans solve certain "undecidable" problems?

High-order pattern matching is an undecidable problem. That means there is no algorithm that, given an equation a => b, where ...
MaiaVictor's user avatar
  • 4,127
1 vote
3 answers
351 views

Church-Turing thesis is a dualism

Church-Turing thesis : Every effectively calculable function is a TM-computable function. But, hypercomputation models are strictly more powerful than TM and can solve TM-uncomputable problems on the ...
François's user avatar
  • 669
6 votes
2 answers
1k views

Quantum computers and computable functions

A quantum computer can possibly calcluate computable functions faster, but it can't calculate functions which a normal computer can't calculate? If a function is not computable? Does this mean it ...
user3613886's user avatar
8 votes
1 answer
3k views

If the Halting Problem was solvable, and we solved it, what would be its implications?

Perhaps a way to better understand the Halting Problem's importance is to know what would happen or what could be possible if this was solved. What would be the Halting Problem's implications in today'...
Zaenille's user avatar
  • 191
0 votes
1 answer
170 views

What are some fundamental issues computer science tries to address? [closed]

I was wondering, if physics has the origins of the universe or the nature of space, time, and matter, biology has the existence of the cell and the origin of life, are there mysteries that computer ...
dopatraman's user avatar