Turing Machine/Machine-state functionalism?

Can someone give a concise yet simple explanation of this theory? I somewhat understand how a Turing machine works and I also understand that these devices use an algorithm or program to perform certain tasks:

  • If the machine is in state Sa, and receives input Ib, it will go into state Sc and produce output Od

The problem I'm having is how do machine-state functionalists believe these machines relate to our own brains?

πŸ‘︎ 5
πŸ“°︎ r/askphilosophy
πŸ’¬︎
πŸ‘€︎ u/08230911
πŸ“…︎ Dec 13 2013
🚨︎ report
[College Turing Machine] Machine able to calculate multiple additions

Hello! We are being taught about the history of modern PCs, and we just started discussing about Turing Machines.

Our teacher taunted us and said: "Try and write some tuples for Turing Machines which can calculate additions (4+3) and multiple additions ( (4+3)+(5+5) )"

I've been able to write instructions for a Turing Machine able to calculate addition (AKA. transforming 01110110 in 0111110 by replacing the separating 0 with a 1 and the last 1 with a 0) using this:

State Read Write Direction New State
0 0 0 R 0
0 1 1 R 1
1 0 1 R 2
1 1 1 R 1
2 0 0 L 3
2 1 1 R 2
3 0 0 R Halt
3 1 0 R 3

However my efforts for a machine which can calculate any number of additions ( 5+5 + 2+1 + 3 + 5 ) ended up in failure.

State Read Write Direction New State
0 0 0 R 0
0 1 1 R 1
1 0 1 R 2
1 1 1 R 1
2 0 0 L 3
2 1 1 R 2
3 0 0 R 4
3 1 0 R 4
4 0 1 L 4
4 1 1 R 5
5 1 1 R 5
5 0 0 L 6
6 1 0 L 7
6 0 0 R 7
7 1 0 L Halt

This machine can calculate TWO consecutive additions, but the number of zeroes between each number to sum always increases by one, so it cannot reach any new number.

Any suggestions? What am I doing wrong? It's driving me crazy.

Sorry for eventual typos or grammar errors, English is not my native language.

Best Wishes

πŸ‘︎ 4
πŸ“°︎ r/HomeworkHelp
πŸ’¬︎
πŸ‘€︎ u/Definitely_Maca
πŸ“…︎ Jan 16 2017
🚨︎ report
My two Arduino based random/generative modules. The Tarbleming is so named because it's somewhere between a Turing Machine and a Marbles. I have some leftover PCBs if people in Europe are interested reddit.com/gallery/muynfq
πŸ‘︎ 104
πŸ“°︎ r/synthdiy
πŸ’¬︎
πŸ‘€︎ u/mastermeenie
πŸ“…︎ Apr 20 2021
🚨︎ report
An Actual Physical Turing Machine
πŸ‘︎ 2k
πŸ“°︎ r/MachinePorn
πŸ’¬︎
πŸ“…︎ Mar 25 2021
🚨︎ report
What exactly is a Turing Machine and why is it so important

Was reading The Emperor's New Mind by Roger Penrose and Chapter 2 is essentially dedicated to explaining what a Turing machine is.

After I watched a few videos I kind of understood what it was but all the videos I watched essentially just sad that any computable problem can be done in a Turing machine and that it was the best computational model we have. However, they don't rly explain it and I got rly confused by this. Why can any problem be done in a Turing machine and why is it the best?

Also, why is it important? What else do I need to know about Turing machines when I go to uni?

πŸ‘︎ 143
πŸ“°︎ r/computerscience
πŸ’¬︎
πŸ‘€︎ u/warmachinerox2577
πŸ“…︎ Apr 09 2021
🚨︎ report
SUBLEQ v5 (A Loop-castable Turing Machine)

SUBLEQ v5

Image + Code

(to get the code click the link, RES won't show it)

TL;DR: This spell is a programmable Computer.

This is, to my knowledge, the first spell capable of computing anything, in an imperative programming fashion. It should be Turing Complete. (If it could access infinite memory.)
With an appropriately(1*) set up region of memory, this spell will execute a 2D SubLEQ(2*) program encoded in the world via block placement. It is sustainable with a loop-cast bullet, and can compute any compute-able function(3*). I've tested it on a Fibonacci sequence program, and am working on an array sorting program & a virus. (Self copying program).
It is useful to have looping & regular bullets with the spell to alternate btw stepped and regular execution.
The Spell Requires Random Psideas for its Cross-Connectors and DistanceToGround which allow the spell to be small (Hah!) enough to fit on the grid, and it also uses the Hyper-threaded CAD Core to get enough complexity (45).

  1. Create a flat plane 32 blocks above any other blocks, with 32 blocks of empty space above. Place 1 block 32 blocks above the plane, & {-32,-32} blocks from the center of the plane (in the Negative X, Negative Z direction), and shift click with a vector ruler. (This sets up the memory space.) Approximately in the center of the space run: https://imgur.com/KoN5PzN
    to set the Instruction Ptr to the block you are standing on and check your memory plane is at zero. Blocks above this represent negative numbers; Below: positive.

  2. SUBLEQ is a one instruction computer. SUBLEQ(A,B,C) Sets A = A-B; and branches to C if the result is <= 0.
    Because of the 32 block radius world interaction limit; My version has a 2D memory model to allow it to access more memory. My version also has relative jumps which should allow a program encoded outside the 32 block limit to still run as long as it never tries to WRITE outside it. (memory addresses are absolute.)

SUBLEQ V5 operates such: Mem[a,b]-=Mem[c,d]; If Mem[a,b] <=0 then Instruction Ptr += {e,f} else Instruction Ptr += {STEP} So the instruction 0,0,0,0,0,0 will set Mem(0,0) = 0 and branch to itself.
Parameters are arranged in the +X direction, and normal execution proceeds in the +Z direction, but these are easy to change.

3)Limits:
Currently the spell consumes a block from your hotbar each instruction while in surv

... keep reading on reddit ➑

πŸ‘︎ 30
πŸ’¬︎
πŸ‘€︎ u/LdaQuirm
πŸ“…︎ May 01 2021
🚨︎ report
Can the physical world be simulated with a Turing machine with arbitrary precision?

Hi,

I am assuming this is a very old discussion but I have not been able to find it in the format that I have in mind. I will try to formalize it the best I can.

Please keep in mind that I am a guy from computer science with some background in math but my knowledge of physics stops at classical Newtonian stuff, and I am only very distantly aware of anything beyond such as quantum physics and more recent theories.

Assuming the universe has a finite amount of elementary particles, let's imagine all their relevant properties at a given point in time being recorded in the machine, and running a simulation using the known laws of physics. As for radiation and fields, I am distantly aware that they can also be interpreted as particles, but if I am making an error here, let's assume they are recorded with some kind of sampling.

Assuming that space and time (and whatever other dimensions that are reasonably confirmed to exist, if any) are continuous, the symbolic nature of the machine implies rounding errors that would increase over time due to a positive feedback effect, so no perfect simulation is possible.

Eventually, what I describe here is similar to a weather simulation, but of the whole universe and at precision levels unbounded by practical matters.

My question could then be formalized as the following proposition.

For every certain time bound T and maximum allowed error E on the properties of all particles and fields, there is a Turing machine that produces a simulation where at every instant t<T, errors are within the bounds of E.

Can this be proven true or false given the currently well-accepted model of the universe and its physical laws?

Edit: improved wording

πŸ‘︎ 64
πŸ“°︎ r/AskPhysics
πŸ’¬︎
πŸ‘€︎ u/flying-benedictus
πŸ“…︎ Apr 02 2021
🚨︎ report
Translation challenge: a quote from Alan Turing on machines and surprises

The view that machines cannot give rise to surprises is due, I believe, to a fallacy to which philosophers and mathematicians are particularly subject. This is the assumption that as soon as a fact is presented to a mind all consequences of that fact spring into the mind simultaneously with it. -Alan Turing

challenging words: due, fallacy, subject (adj.), assumption, as soon, spring (vb.)



As inspiration, the Japanese translation of this, word-for-word translated back to English, goes roughly like this:

> Machines surprises give can't view, philosophers and mathematicians particularly exposed mistake due to is I believe. This, fact to heart presented soon, that fact's all consequences simultaneously head to float called assumption is.

On the other hand, the Hebrew translation of this is nearly word-for-word identically to the English.

> The idea that machines can't give birth to surprises stems, I believe, from a mistake that the philosophers and mathematicians exposed to it in special. This the assumption that in the moment that brought fact to mind all the consequences of it fact jump to mind in it temporarily.

(The Hebrew word for "simultaneously", strangely, is the word for "in it" plus the word for "temporarily".)

The same is true of Spanish.

> The opinion of that the machines no can give place to surprises is due, I believe, to a fallacy to it that are particularly subjected the philosophers and the mathematicians. That is the assumption of that as soon as presents a fact to the mind, all the consequences of that fact sprout simultaneously in the mind.

I'm not giving proper glosses because these are just meant to be inspirations, and besides, they're natlangs.

πŸ‘︎ 6
πŸ“°︎ r/conlangs
πŸ’¬︎
πŸ‘€︎ u/columbus8myhw
πŸ“…︎ Apr 16 2021
🚨︎ report
training the machine to beat a Turing Test by confusing it with nonsense
πŸ‘︎ 11
πŸ“°︎ r/bigsleep
πŸ’¬︎
πŸ‘€︎ u/bonejohnson8
πŸ“…︎ Apr 24 2021
🚨︎ report
Using the MC family objects and a few Turing machines to generate somewhat chaotic melodies from a standard Krell Patch youtu.be/fZPbQ-6IbI4
πŸ‘︎ 27
πŸ“°︎ r/MaxMSP
πŸ’¬︎
πŸ‘€︎ u/jjsjams
πŸ“…︎ Apr 24 2021
🚨︎ report
CAPTCHA vs an advanced Turing machine
πŸ‘︎ 4
πŸ“°︎ r/CWSharktank
πŸ’¬︎
πŸ‘€︎ u/B_Series
πŸ“…︎ Apr 29 2021
🚨︎ report
Has anyone seen, or made PCB panels for the My Thing Modular Turing Machine Extenders?

I've found a nice combo panel for pulses and volts from mymodularjourney, But I am kinda drawn to the older Voltages module (which volts kind of replaces), with its LED sliders.
I've searched my usual haunts for a panel for it, but no dice, has anyone seen one? Or, perhaps a single panel that houses the whole shebang?

πŸ‘︎ 8
πŸ“°︎ r/synthdiy
πŸ’¬︎
πŸ‘€︎ u/Kelaifu
πŸ“…︎ Apr 14 2021
🚨︎ report
What would the practical difference be between a machine that can pass a Turing test and a human trapped in a box with a keyboard and screen? What legal differences should there be between the two?
πŸ‘︎ 2
πŸ“°︎ r/AskReddit
πŸ’¬︎
πŸ“…︎ Apr 10 2021
🚨︎ report
I made a working Turing Machine in Minecraft. I heard you all liked Alan Turing. Video of it working is in the comments.
πŸ‘︎ 834
πŸ“°︎ r/compsci
πŸ’¬︎
πŸ‘€︎ u/meyersjs
πŸ“…︎ Dec 23 2020
🚨︎ report
Free MIT philosophy of mind course -- Minds & Machines -- on consciousness, dualism, the Chinese Room, the Turing test, color, perception, and more -- starts Nov 17! edx.org/course/minds-and-…
πŸ‘︎ 3k
πŸ“°︎ r/philosophy
πŸ’¬︎
πŸ‘€︎ u/24xPhilosophy
πŸ“…︎ Nov 11 2020
🚨︎ report
Alan Turing invented the Turing Machine which cracked the Nazi Enigma Code during the Second World War.⁣ The movie "The Imitation Game" was based on these events. 1940s
πŸ‘︎ 89
πŸ“°︎ r/OldSchoolCool
πŸ’¬︎
πŸ‘€︎ u/Rusty_Crank
πŸ“…︎ Jan 25 2021
🚨︎ report
Is a nondeterministic Turing machine considered as a model of randomized algorithm? /r/algorithms/comments/m7…
πŸ‘︎ 16
πŸ“°︎ r/computerscience
πŸ’¬︎
πŸ‘€︎ u/timlee126
πŸ“…︎ Mar 17 2021
🚨︎ report
Purely academic purposes Compile-time Turing Machine in C++20 github.com/Eren121/CppTur…
πŸ‘︎ 137
πŸ“°︎ r/cpp
πŸ’¬︎
πŸ‘€︎ u/UnfairSpinach1985
πŸ“…︎ Jan 31 2021
🚨︎ report
A set of figures illustrating an application of a reduction to card form of the Yurii Rigozhin's UTM(4,6) (Universal Turing Machine with 4 internal states & a symbolset of six 6) devised by Alvy Ray Smith.
πŸ‘︎ 2
πŸ“°︎ r/mathpics
πŸ’¬︎
πŸ“…︎ Mar 25 2021
🚨︎ report
It’s possible to build a Turing machine within Magic: The Gathering arstechnica.com/science/2…
πŸ‘︎ 2
πŸ“°︎ r/Quandrix
πŸ’¬︎
πŸ‘€︎ u/randus_duthane
πŸ“…︎ Apr 11 2021
🚨︎ report
What is the proof that you can’t (in general) find the kth state of a Turing machine in fewer than k steps?

I’ve seen it often asserted as basically obvious gospel but never seen an actual proof. It also seems inherent to the proof that the bounded halting problem is in exptime, but again that part of the question always seems to be just stated as obvious rather than derived. I understand the inherent unpredictability of Turing machines, like how can’t in general know if a Turing machine ever prints a 1. But you absolutely can know if it prints a 1 in k steps. What’s to stop there from being an algorithm that tells you the kth state of a Turing machine in, for instance, log k steps?

πŸ‘︎ 4
πŸ“°︎ r/askscience
πŸ’¬︎
πŸ‘€︎ u/Boltzmann_Liver
πŸ“…︎ Mar 29 2021
🚨︎ report
Turing machine using canon spells or magic items?

Hi, I know this might sound stupid but here goes. I am running a campaign for the first time with some of my friends, we've all played 5e before but this is my first time trying my hand at DMing. Anyway I am thinking about introducing a machine used by the bank in my world to calculate things like annuity price from actuarial tables, mortgage interest rates, etc. and I'm wondering if it is theoretically possible to build a computer using elements from 5e? I know these calculations could probably be done by hand or I could just make up spells that the bankers use but I think it would be way cooler if the bankers in-universe found a way to invent a Turing complete apparatus. Maybe a series of connected sending stones or something? Or if anyone can think of some homebrew magic item that could work like a logic gate, and the npcs could have linked up a few hundred of them to create a calculator?

Any help is appreciated, thanks for reading!

πŸ‘︎ 3
πŸ“°︎ r/dndnext
πŸ’¬︎
πŸ‘€︎ u/stevlandbarr
πŸ“…︎ Feb 22 2021
🚨︎ report
"The Turing machine is useful because it allows you to reason about what can and can’t be computed, not just on a digital computer, but any possible computer" What does this mean?

> A Turing machine is an abstract model of a computer developed by the famous computer scientist Alan Turing. From a theoretical standpoint, the Turing machine is useful because it allows you to reason about what can and can’t be computed, not just on a digital computer, but any possible computer. This model also allows computer scientists to show equivalence between computing systems if they can each simulate a Turing machine. You can use this to show, for example, that there’s nothing that you can compute in Java that you can’t also compute in assembly language

The note about being able to prove equivalencies of languages makes sense, that is the interpretation that I am familiar with. But the author also mentions that Turing machines allow us to reason about what can be computed on "any possible computer". What does this mean? What other computers are possible other than digital computers, and how would Turing machines help us there?

πŸ‘︎ 29
πŸ“°︎ r/compsci
πŸ’¬︎
πŸ“…︎ Dec 26 2020
🚨︎ report
I built an Enigma Machine, an 8 bit computer and a Turing Machine in Minecraft. Next I want to recreate the computers which were on board the Moon Missions reddit.com/gallery/kbglju
πŸ‘︎ 407
πŸ“°︎ r/computers
πŸ’¬︎
πŸ‘€︎ u/meyersjs
πŸ“…︎ Dec 12 2020
🚨︎ report
[R] Neural Turing Machines and their Relation to Bayesian Inference (The Open Review of Artificial Intelligence) openreview.net/forum?id=r…
πŸ‘︎ 3
πŸ“°︎ r/SubSimulatorGPT2
πŸ’¬︎
πŸ“…︎ Feb 21 2021
🚨︎ report
Multiway Turing Machines wolframphysics.org/bullet…
πŸ‘︎ 20
πŸ“°︎ r/compsci
πŸ’¬︎
πŸ“…︎ Feb 05 2021
🚨︎ report
Quantity over quality? I built a Enigma Machine, an 8 bit computer and a Turing Machine. reddit.com/gallery/kbg9tm
πŸ‘︎ 116
πŸ“°︎ r/qualityredstone
πŸ’¬︎
πŸ‘€︎ u/meyersjs
πŸ“…︎ Dec 12 2020
🚨︎ report
Tyranny in Technohorror: Soon a Chinese computer can sentence you to be taken away in Chang’an Chain Blockchains. Will this HALacious machine also be able to order the occasional Tiananmen Square Massacre? (They should have watched my video on Turing, GΓΆdel and the Hilbert Program!) scmp.com/news/china/polit…
πŸ‘︎ 3
πŸ“°︎ r/xrmed
πŸ’¬︎
πŸ‘€︎ u/LordHughRAdumbass
πŸ“…︎ Mar 11 2021
🚨︎ report
Turing Machine DIY build help reddit.com/gallery/lovzks
πŸ‘︎ 3
πŸ“°︎ r/modular
πŸ’¬︎
πŸ‘€︎ u/eddie-stobart
πŸ“…︎ Feb 21 2021
🚨︎ report
What is an algorithm from a theoretical CS standpoint? Like in the context of FSM's, Turing Machines Lambda Calculus etc, what is an algorithm, or more generally a process?
πŸ‘︎ 22
πŸ’¬︎
πŸ‘€︎ u/gtboy1994
πŸ“…︎ Jan 01 2021
🚨︎ report
It is proven that if the Multiverse Theory is factual, then at least in one of the infinite universes a Turing Machine will always guess YES or NO correctly for the Halting Problem.

The hypothetical idea was stupidly inspired by the Infinite Monkey Theorem.

>Aliens come to Earth presenting a mathematical-proof that we live in a multiverse with infinite universes.
>
>They even present physical evidence that the Multiverse is real & has an unlimited quantity of universes with different laws of physics.
>
>In one of those unlimited universes, a mathematical model for a universal computer, allows it to always guess YES or NO 100% correctly for any problem.
>
>The Aliens showed us that even, the halting-problem can & will be guessed correctly 100% of the time in this Universe.
>
>Sorta like the Infinite Monkey Theorem, but applied to Universes.

πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/Hope1995x
πŸ“…︎ Feb 25 2021
🚨︎ report
"Machines take me by surprise with great frequency." β€” Alan Turing
πŸ‘︎ 3
πŸ“°︎ r/quotes
πŸ’¬︎
πŸ‘€︎ u/ScrambledShow
πŸ“…︎ Mar 20 2021
🚨︎ report
Have Turing Machines gone too far?
πŸ‘︎ 79
πŸ“°︎ r/mathmemes
πŸ’¬︎
πŸ“…︎ Jan 28 2021
🚨︎ report
What are the consequences, if a human discovers/creates his own function to solve a math problem that a Turing Machine can't use?

n/a

πŸ‘︎ 3
πŸ’¬︎
πŸ‘€︎ u/Hope1995x
πŸ“…︎ Feb 06 2021
🚨︎ report
I built an Enigma Machine, an 8 bit computer and a Turing Machine. Next I want to recreate the computers which were on board the Moon Missions reddit.com/gallery/kbgkkp
πŸ‘︎ 129
πŸ“°︎ r/Minecraftbuilds
πŸ’¬︎
πŸ‘€︎ u/meyersjs
πŸ“…︎ Dec 12 2020
🚨︎ report
Does anyone know of a good tutorial about how to make a state diagram for a Turing Machine?

Title

πŸ‘︎ 9
πŸ“°︎ r/computerscience
πŸ’¬︎
πŸ‘€︎ u/Abstract-Pi
πŸ“…︎ Feb 05 2021
🚨︎ report
Are Universal Turing Machines by default Turing complete?

If I understood it correctly, a universal turing machine can simulate any turing machine with any input. For it to be turing complete, it has to be able to simulate any turing machine, therefore UTM must be turing complete by default?

If that's the case, why have the distinction? Feel like I must be missing something here.

πŸ‘︎ 7
πŸ’¬︎
πŸ‘€︎ u/oobeing
πŸ“…︎ Jan 13 2021
🚨︎ report
[2020 Day 1 (Part 1)] Very late, but here's a Turing machine that solves day 1 pbs.twimg.com/media/Epuoc…
πŸ‘︎ 110
πŸ“°︎ r/adventofcode
πŸ’¬︎
πŸ‘€︎ u/Shikor806
πŸ“…︎ Dec 21 2020
🚨︎ report
Janna Levin's A Madman Dreams of Turing Machines

Before reading A Madman Dreams of Turing Machines, a novel, I'd read two of Janna Levin's books: one on the history of LIGO, a project that was the first to "detect" gravitational waves using lasers, and another which is as much astrophysics primer as it is beautiful memoir-qua-epistolary. Levin is a cosmologist who focuses on the shape and size of the universe (which she believes is finite) and a leading theorist in the field. Her writing in the science community is unlike any other I've encountered. Her prose is poetic and brimming with playful, artful and carefully pored over language. It's a prose of someone who knows how to use language to engage and inspire a reader while maybe also teaching them something.

A Madman Dreams of Turing Machines is just as meticulously written, and as drinkably wonderful line-by-line as the other books I've read by her, but ultimately it falls a little flat as fiction. Here's why: we have as our protagonists Alan Turing and Kurt Godel. The book maps out the last 20-30 years of these two men's tortured lives (one for his homosexuality and the other for his struggles with mental illness). They're also two men working in the field of mathematics but never met despite knowing of each other, responding to each other in some ways, and working in the same era.

As Levin puts them both into the same novel, a reader would expect there to be some narrative threads that link and tie them together, that the fiction would create spooky action at a distance between the two characters. Echoes and vibrations, whether literally in the "action" of each character's story, or at least thematically, metaphorically, etc. But, to my mind, I don't think that connexion is there. I absolutely love novels that work on a multi-narrative level--and those different narratives don't need to have literal intersections, but there has to be something more to the telling that puts each story in conversation with the other throughout the work. Unfortunately, I just didn't get there with this book.

However beautifully written Levin's sentences are, the plot, characters and arc of the book feel stagnated and empty. Alan and Kurt don't really live on the page so much as they exist there in black and white text. If I ventured a guess, Levin struggled with how far to go into fictionalizing the everyday lives of these men--obviously in the bounds of fiction there's a risk in taking historical figures outside of their context and making them grotesque or ab

... keep reading on reddit ➑

πŸ‘︎ 6
πŸ“°︎ r/bookreviewers
πŸ’¬︎
πŸ‘€︎ u/scaletheseathless
πŸ“…︎ Mar 05 2021
🚨︎ report
Thermodynamic costs of Turing Machines: heat function, thermodynamic complexity and fundamental tradeoffs arxiv.org/abs/1912.04685v…
πŸ‘︎ 2
πŸ“°︎ r/compsci
πŸ’¬︎
πŸ‘€︎ u/pentin0
πŸ“…︎ Feb 11 2021
🚨︎ report
I built an Enigma Machine, an 8 bit computer and a Turing Machine. Next I want to recreate the computers which were on board the Moon Missions reddit.com/gallery/kbgkyl
πŸ‘︎ 63
πŸ“°︎ r/Minecraft
πŸ’¬︎
πŸ‘€︎ u/meyersjs
πŸ“…︎ Dec 12 2020
🚨︎ report

Please note that this site uses cookies to personalise content and adverts, to provide social media features, and to analyse web traffic. Click here for more information.