Excellent video! I read a book ages ago called "But how do it know?" which covered not just this, but how to make memory cells, RAM, registers, everything. Basically a full NAND to Tetris style book. This was a really good summary of the same fundamental concepts, excellent work!

@WhatsACreel

2 жыл бұрын

Thanks mate!! Sounds like a great read, if I ever come across that book I'll defo pick it up! Thanks for watching :)

@ulysses_grant

2 жыл бұрын

This book is a hidden gem! I go back to it once in a while, simply amazing material.

@phasm42

2 жыл бұрын

I bought this book for my son and nieces/nephews, and I have extra copies on stand-by 😅

@RupertReynolds1962

2 жыл бұрын

Book ordered. Thanks for the pointer :-)

@ulysses_grant

2 жыл бұрын

@@RupertReynolds1962 Great! If you like the subject you'll definitely love the book!

This is the concept behind a Single Instruction Set Computer using NAND. Another great addition would be to show how NAND can be used to create a latch which is used for memory, flip flops, pipelining, etc.

@WhatsACreel

2 жыл бұрын

Oh that is a good addition!! Cheers for watching :)

@flatfingertuning727

2 жыл бұрын

Attempting to construct a computer exclusively from gates identical whose inputs are indistinguishable from each other will yield a problem: if all gates have a propagation time of exactly N, all positive feedback loops will have a propagation time that's a multiple of 2N, making it impossible to build a synchronizer. If one can control propagation times to avoid such issues, or impose setup/hold requirements on all inputs and outputs including things like buttons, building a computer out of NANDs wouldn't be the most practical approach, but it would hardly be impossible. The number of two-input NAND gates required to form an N-bit RAM, for example, would be O(N)--not even O(NlgN)--if one is willing to accept an O(lgN) access time, and some practical machines like the Apollo Guidance Computer were built almost entirely out of a single kind of gate (NOR gates in the case of the AGC) except for things like the memory system which could have been built out of NAND cates, but were more efficiently constructed using magnetic cores.

@mocringe811

2 жыл бұрын

Can you link somewhere for me to look into this?

@flatfingertuning727

2 жыл бұрын

@@mocringe811 It's possible to build a one-bit RAM "RAM" using four NAND gates, if the data input is available in both true and complemented formats. Given two N-bit RAMs, it's possible to produce a 2N bit RAM by adding about eight NAND gates. As RAMs get bigger, the average cost per bit will increase, but never exceed twelve NAND gates (1.5 times 8) per bit.

@mocringe811

2 жыл бұрын

I've played around a bit with these logic gates, making these registers, ALUs and such, I thought Daniel was referring to the NAND function itself creating memory, thanks anyway

Oh nice, I like how you used a variety of games to motivate the concept of completeness! It gives a solid intuition because games are obviously logic-based and computable, but also an unlimited, creative, imaginative space.

Your channel is like several years ahead from me to understand it, I've found really interesting videos here that are like 5 or 9 years old (such as self-modifying code and x86 Asm). It's just too much information for a regular C# programmer like I am, but I always wanted low level things that I'm just starting to understand. Anyway, thank you very much for this because no one in the entire planet talks about, and that is very valuable for me.

There's a great programming class online called Nand 2 Tetris where you start off with making all of the boolean operators with nand gates and then build an ALU and CPU with that and write assembly and eventually build an OS. But the key idea there is that everything is just layers of abstraction on top of a bunch of logical gates (which could technically be all nand gates)

@mikefochtman7164

Жыл бұрын

Ages ago in school, I remember working out how to make a complete two-bit adder, using nothing but NAND gates. You can't do this with 'OR' only gates, or 'AND' only. But 'NAND' gates can be used to create NOT, AND, and OR so you're able to create just about anything.

I remember college learning these truth tables in 3 different classes - assembly programming, philosophy &logic, and statistical logic.

@robertjames4908

2 жыл бұрын

The third truth table in statistical logic would that be common-sense statistics or government statistics? Experience shows the two do share the same truth tables.🤣🤣=😭

@danielvest9602

2 жыл бұрын

@@robertjames4908 Definitely common sense. Government logic makes my head explode 🤣

First year of curriculum: rewrite the expression only using NAND gates. The game starts when you golf it!

@proloycodes

2 жыл бұрын

it can also be done using only XOR gates!

@programaths

2 жыл бұрын

@@proloycodes a xor a 0 So, xor need a constant. Eg: not a 1 xor a. Nand work without constants, only non inverted inputs. So, nand does it better ^^

@proloycodes

2 жыл бұрын

@@programaths hmm can you show me a not gate without using constants, emulated using NAND?

@programaths

2 жыл бұрын

@@proloycodes a nand a not a

@proloycodes

2 жыл бұрын

@@programaths great! you've converted me into NAND-ism! All Hail the Great NAND! lol

Really good video, really like the way you present everything with the animations. Keep it up!

Brilliant video, thanks Creel for your effort. Some time ago I also watched and studied your entire (newer) playlist of assembly, I like the way you explain topics!

I just luv the way you can make such dull subjects (just like boolean algebra can get in a discrete maths book) become so exciting to talk about, not to mention the unique sense of humor you have in discussing such things. You have the gift of teaching. Great stuff, just awesome!

Touching ending mate. I'd also like to thank Alan. Bloody legend.

@tfritzon

2 жыл бұрын

Indeed! Thanks Alan!

There is an interesting concept called a OISC: One Instruction Set Computer. It's a processor that only does one operation while still being a general-purpose computer. An example of a single operation that could be used for this computer is SUBLEQ: subtract and branch if result less than or equal to. There's an excellent article on TechTinkering that illustrates this one.

I kept saying “and gate” out loud over and over until you said Boolean and, it made me feel so accomplished to know it before it was said.

@daniel.lupton

2 жыл бұрын

Isn't the NAND gate the "universal" gate though. I can't imagine how you'd create a NOT operation with just AND gates.

@jgained5065

2 жыл бұрын

@@daniel.lupton as far as I understand it, you just have one line coming in with constant power that goes straight to the output. Then you have a transistor coming off that line that goes to ground. When the transistor is off, the power goes past it into the output making a “1”. If it’s powered on, all the flow goes through the transistor and into ground making the output “0”.

@jgained5065

2 жыл бұрын

Diagram: /---output | +-T--ground | | | \-input p w r

@daniel.lupton

2 жыл бұрын

@@jgained5065 Yes, but a transistor isn't an AND gate. You can make all the gates from just NAND gates. NOT is just the input going to both inputs. An OR is just a NAND with both inputs negated (with the NOT, so 3 NANDS). AND is obviously a NOT on the NAND output. Etc You can make anything with NAND. I think you can do the same with NOR and XOR. But AND has no way to negate with just gates. Also zeroing your signal to ground sounds like a really expensive way to make a NOT gate. You're basically shorting that signal. That means anything else reading that signal will also read 0. And it probably back propagates through all the transistors. I'm not an electrical engineer but it sounds inefficient.

@JimTheScientist

2 жыл бұрын

@@daniel.lupton I’m not really sure what you interpreted my comment to mean but I was talking about the beginning of the video, where Boolean and is introduced.

Wonderful and informative video as always, thank you for taking your time to do this.

Nice to see another video creel, Keep up the good work!

Great video, I love the energy and the teaching style! Keep up the great work!

I recommend the game Turing Complete to play around with this. In the game you start with a nand gate and gradually build a computer from it, and then you programm your computer. I had a lot of fun with it.

@kingacrisius

11 ай бұрын

I've never heard of that one but I have played a browser game called NAND Game

I'm always happy to see your video pop up into my feed :))

Is this made in blender? I really love the graphics, helps me understand the concept a lot more. Great video!

Cheers, mate. Rockin' viddy. I can feel my brain much more than usual rn.

Excellent video! I'm experienced computer scientist, and this explanation is just perfect, especially final conclusion that all computations can be done with one kind of logic gate, which is obvious for some of us, but sometimes hard to explain. Your conduct of explanation is just perfect.

Alan Turing is the reason we are all here... on the internet.. on KZread.. in front of our phones/computers/tables/etc... Cheers, mate!

Missed your videos, they're great!

Hey mate! Heads up, for the Phenom benchmark, I added AVX-512 options to both flops and SHR as a pull request

@WhatsACreel

2 жыл бұрын

Oh that's cool! I'm not very good at keeping up with the git hub. Is there soemthing I need to do there? I did want to get back into it. Possibly upload a much larger project, 64 bits per channel raw photo editor, not sure when I'll get round to it tho.

@camofelix

2 жыл бұрын

@@WhatsACreel You'd need to accept is as a merge! user name is the same. in terms of implementation, it verifies for the feature using cpuinfo and pigibacks off of the mechanism/style you used in the base functions for ease of readability. Flops is very close to your own implementation, but larger registers. the SHR uses some tricks of moving across AVX port 0/1 and port5 for the xmm,ymm and zmm registers to save on instruction latency. You can comment on the request before merging

Magnificent presentation. Thank you, sir!

Wow what a channel :) you got a new sub!

Superb ! Brings me way back to 1st learning digital.

Beautiful explanation. I'm familiar with logic gates and boolean algebra, but never knew that NAND and NOR are universal in this way. Just a fantastic job on this.

Great video! Was starting to expect to see Karnaugh maps :D

I don't have words to describe how much I love boolean algebra.. and this presentation makes me feel very much at home.. Thanks Creel ;)

There was nothing in this video that I didn't know before, but it's a nice refresher. A very nice refresher.

Amazing video! Thx for it

It's weird to see operations that I have come to intuitively learn how they work, broken down in great mathematical detail like this, and describing behaviours I know to be true from hands on experience but had never seen explained this way. Interesting video

Incredible video, thank you!

This is a very good way of explaining logic to some who might not know a lot about computing

i love when i found videos that i know that i will return for years, good job

This reminds me the digital electronic class and fpga class at university, good memories, thanks for the video

This isn't a criticism, more of a continuation. While the fact that computers can be conducted entirely out of NAND gates is impressive, my favorite minimal Turing complete system would have to be the SK calculus. It's based on lambda calculus, which played a crucial role in showing the usefulness of Turing machines. But SK calculus breaks it down even further into simply two combinators (aka functions): K, the constant function constructor: K x y -> x S, the branch constructor: S x y z -> (x z) (y z) That's it. That's Turing complete. The fact that this is the case is one of the most beautiful things in computer science. For example, you can make recursion without self referencing: Y f -> f (Y f), where Y = S (K (S (SKK) (SKK)) (S (S S (S K (SKK))) (S (SKK) (SKK)) Of course lambda and SK calculi are not really able to be implemented directly in hardware the same way NAND is able to, but computers were not originally a physical concept. In a way, NAND is the face of minimal turing completeness on the hardware side, while SK is the face of minimal turing completeness on the software side.

Thanks mate, amazing breakdown. “NAND is all you need”

Great video! You made me love again computer programming :D

@WhatsACreel

2 жыл бұрын

Oh, that's great, cheers for watching! :)

Mr. Creel, Thanks Mate, You're Amazing.

Interesting, make me remember about the Karnaugh map's which not only compress but also you can solve any complex combination of logic gates arrays using only one type of gate AND, nice to see another of your interesting videos!

The AR presentation is absolutely sick!

You animation skills are so good as programming!

I was watching for the first 17 minutes, all the time expecting you to show that the NOR (or NAND) gate is all you need, and then just a few seconds later you actually got there. :-)

Great video explaining boolean algebra. I began studying boolean algebra in grade 7. This, and some other mathematics topics I was looking into at that time, drove my math teacher insane. She had gotten used to me returning the math exercise book we were given at the beginning of each school year the day after I received it with all questions solved since 4th grade. But now I was above her grade, and she could no longer answer my questions. Boolean algebra got me interested in computer science, so I studied computer science and math at university. But since you mentioned that this can compute everything, please make a follow-up video showing how it can compute the halting problem :)

This brings me back a lot of memories makking circuits withh just nand gates. It saved space since a single chip comes with 4 or more nand gates, while doing "and, or, and not" would require at least 3 chips. The nor gate is universal too :P

fantastic episode :) ⭐️⭐️⭐️⭐️⭐️ I'm getting the impression theres "dice info-anim renderer pro" or something out there somwhere. I've seen this exact animation style before.

@WhatsACreel

2 жыл бұрын

Ha! Yes, it's Blender 3D :)

I'm old enough to have worked on 'computer controlled equipment' in the 70s. elevators on Naval supply ships to be specific, and at that time the 'computer' to control these elevators was a big hard wired circuit board using discrete transistors ... to save on the number of different logic gates, which were created with individual relatively high powered transistors and 'modular' to be easily replaced when one failed, all the gates were NAND gates ... all logic circuits can be created using combinations of NAND gates.

wait... you're that aussie guy who makes great videos. i didn't know you were back!

Great video!

Great video! Glad to have you back. How long did it take you to model this in Blender?

@WhatsACreel

2 жыл бұрын

Cheers mate! I didn't time it, 100+ hours all up for this vid. That includes all the modelling, rendering, editing and sound and that. It's slow going that 3D. Defo fun, but veeeerrryyyy slow. I will probs take a break from straight 3D for while and do some more coding. So I can get some more vids out in a reasonable time frame. Anywho, cheers for watching, have a good one :)

@BryndanMeyerholtTheRealDeal

2 жыл бұрын

The .notdef's at 3'54?

Nice! Takes me back to classroom days when, with paper & pencil, we used '•' for AND, '+' for OR and bars over top for NOT... Fun to swap things around like: NOT(a) • NOT(b) == "a NOR b"... Figuring out XOR was something special...

Excellent video! Great presentation and production, good sense of humor and all that. And, as has been mentioned elsewhere in the comments, a truly touching ending. Alan Turing was a phenomenal genius and we all owe him a debt of gratitude.

Nice video. At school, we also learned to use Karnaugh diagrams.

Now of only someone could explain abstract algebra/group theory with this level of clarity :)

@WhatsACreel

2 жыл бұрын

That's a fine idea!! I do love Socratica, if you've not seen their videos on the topic, they're definitely worth a watch! I would love to make videos on that. Not sure when tho. Thank you for watching, have a good one :)

@Bobbias

2 жыл бұрын

@@WhatsACreel oh, I have not heard of them. I'll definitely have to check them out. I've been self learning that stuff after Haskell's heavy usage of abstract algebra concepts introduced me to it. The problem is that the main resources I've been using are Wikipedia and nLab... And my formal math education ended around pre-calc, so I often end up in a black hole on those sites.

The video taught me more than the past two years of CS at university

Great video!! Loved the content. Extremely curious about the prime gate you mentioned @13:53, is it just a odd detector or does it work with binary primes?

@proloycodes

2 жыл бұрын

it only works with numbers upto 7, or if you allow wrapping, it outputs 1 for every 8k + p, where p is prime.

@mohammadazad8350

2 жыл бұрын

@@proloycodes I knew this was absurd or wouldn't work for all numbers

Really liked the ending.

Thanks mate!

Boole based his algebra on the ancient Indian system of logic, Nyaya. In fact, Boole's binary logic is a special case of Nyaya's ternary, quaternary... N-ary logic

In fact, all one needs is a nand gate to compute all logic. ALL computation including that in your brain can be done with a simple nand operation(of course in immensely complex expressions).

That all stuff was thought about before we had whizzy silicon things just blows my mind. I wonder if Boole had half an inkling as to the true possibilities his ideas would unleash?

Great video! Makes me go back in time when I went through the "From NAND to Tetris" Coursera content.

wow this is insane I was wondering though, does this mean we are still using only 3 instructions machine, or did the firm making them implemented "shortcuts", like implementing a xor, a nor, a nand... Or do they still use the 3 instructions even to create their shortcuts? I am pleased to see another video of you, I was starting to think you were gone from youtube!

@WhatsACreel

2 жыл бұрын

I think hardware manufacturers use a lot of different logic gates together to make a CPU. You can get a thing called like a NAND gate array or something. They certainly rely heavily on the magic of NAND! But most hardware will be implemented using a bunch of different logic gates. Defo didn't leave KZread :) I'm just rather slow.... It is nice to see you all again anywho, and thanks for watching :)

@Tumbolisu

2 жыл бұрын

Modern machines are made using either only the NAND or only the NOR gate. Just one of these two can simulate all boolean operations, and therefore is enough to build a whole computer with. The main reason for doing this is to make mass production easier.

@DFPercush

2 жыл бұрын

I'm not an engineer at Intel or anything, but looking at some old 286 scans, I think they use a mix of various gates, mainly because every gate has a delay. If you had to use 3 NAND gates to make an OR, it would be 2 or 3 times slower. They'll use "wire gates" which are simpler than the versions you can buy on standalone chips, and the difference is that the standalone gates can sink or source current, in other words, a 0 will actually pull down any other voltage to a logic low, and give a place for the current to go. Wire gates don't do that, they're just simple traces with transistors either in series for AND, or parallel for OR, that can open or close the circuit to allow the voltage to get through. You can get away with that when you control everything else about the circuit around it. Using a mix of gates doesn't really hurt mass production, it all goes into the photo mask. Now if you're talking about programmable logic, like FPGAs, those are probably NAND only, because they have to adapt to whatever is needed. And for prototyping, it's a lot easier to keep a bin full of NAND chips rather than 7 separate gate types that you'll run out of, so it's useful to know how to convert between various logic ops. There might be a stage of CPU design where things are tested on NAND only logic, but in the final production you want as few delays as possible.

@Tumbolisu

2 жыл бұрын

@@DFPercush I was told that NAND/NOR gates are also prefered because the NOT-ing of the signal at every step will give it little boosts, making it less likely for the energy to dissipate into resistance heat.

@DFPercush

2 жыл бұрын

​@@Tumbolisu That's a new one on me. I'll have to think about that. (Warning, long stream of conciousness ahead) I guess if you have long wires and high clock speeds, the parasitic capacitance could cause issues, but boosting the voltage along the same length of wire is only going to increase power dissipation, so I'm not sure how that's supposed to help. Unless the wire is long and thin enough to drop the voltage below a logic low. But I can't imagine that happening in the tiny span of a silicon die. What does makes sense though, is if you have a signal that's normally high, that you need to transmit over long distances, it might be better to invert it at both ends so the wire is low most of the time. That would help in TTL logic (bipolar junction transistors), but CMOS transistors / mosfets don't really pass that much current, all they have to do is statically charge the gate. And usually those gates would be close together anyway. It's really the capacitance of the lines that produces most of the heat, and if things are constantly switching on and off really fast, inverting it doesn't really save you anything. In a steady state, they're basically an open circuit, whether it's a 1 or a 0. I dunno, doesn't make sense to me, but I'm curious if there's something I'm missing.

Good stuff! Just curious, what did you animate this in?

@WhatsACreel

2 жыл бұрын

Cheers mate! It's Blender 3D. Great program!! :)

@K9Megahertz

2 жыл бұрын

@@WhatsACreel Awesome! Though that it might be. Appreciate the confirmation!

Thank you for video.

@WhatsACreel

2 жыл бұрын

You are welcome :)

I like the cubes - they're cool looking.

Model for all the cubes in video?

Thanks mate, you too are amazing.

Minecraft redstone uses universal NOR gates.

Creel you mad man, another excellent video. Come to Victoria so we can grab a beer

Excellent CGI. I'm assuming you used Blender? Makes me want to play with esoteric languages again, BF being my favorite. Though I will admit to laughing harder than I should have at Moo.

Exciting!

Yes. Its needed in building electronic machines or also in programming. In electronic design it is needed to know how its made of transistors - and some cases it can be hard challenge.

You can read the output column as a number and use that number to uniquely identify a function by number. E.g. if the bottom row is MSB, AND is function 8, TRUE is 15, OR is 14, etc.

And this is the reason that the very first of the 74-series of TTL chips, the 7400, is exactly that. Four NAND-gates on a chip. Genius!

Creel is the Steve Irwin of Computer Science

@WhatsACreel

2 жыл бұрын

Crikey!! :)

This was a nice and ... umm ... logical explanation of how this all fits together. Very complete. If Boolean logic blows your mind, wait until you see FPGAs where you can define hardware, using software, by literally writing out giant boolean expressions.

Nice video, really wish I had seen this in my computer science class😂

Once you arrive at Alan Turing, I think also Alonzo Church deserves a shout-out for the equally powerful Lambda Calculus. But hopefully, you will do that in a future video.

The god is actually just NAND.

The term I learned was "complete base", rather than "universal". My book recommendations: 1) The Turing Omnibus, A.K. Dewdney. 2) Bebop to the Boolean Boogie, Clive Maxfield.

Oh man... this reminds me of when I took a logic class in college. The professor was brilliant but had a _super thick_ Indian accent. So in a class about zero's and one's, I had a professor who could pronounce neither 'zero' or 'one'. On top of that, we had randomly assigned "lab" partners... and mine was a Korean dude who spoke almost literally zero English (cool dude though! We pretty much just smoked weird foreign cigarettes and communicated through gestures and math lol). That semester was an absolute nightmare. I think I got a B, but that was by far the hardest class I've ever taken. Makes much more sense the second time around, honestly. Great video btw, I'm subscribing :)

4:14 Babbage wasn’t using “valves and tubes”. The Difference Engine was purely mechanical. The Analytical Engine would have been too.

@HowardCShawIII

Жыл бұрын

Had to pause and come see if someone made this comment. Spot on! However, while the Difference Engine was made of gears and rods, not valves and tubes (vacuum tubes came in 1904), there is still some potential validity, as he could possibly be referring to steam valves and copper tubes. Given that had the DE actually been completed and put into operation it would likely have been operated by steam, as indicated by his purported quote: "I wish to God these calculations had been executed by steam." Check out this steam-driven 4-column difference engine: kzread.info/dash/bejne/pmyVu82op5Cspps.html Still, the engine itself was gears on rods, with carry arms - purely mechanical, as you say.

Oh boy just found this channel, this 3d animation is splendorous. However at 14:49 you missed a chance to display the playback inside the monitor.

THANK U BOSS!

Yes, you can build entire computer out of NAND gates (and few others too). Congratulations, you have just saved 22 minutes of your life.

BUT...!!!!....we already know the answer to EVERYTHING is 42 :) Great to see you back!

Fun video, lively and clear presentation! But - did I hear correctly?! - Charles Babbage did not use 'valves & tubes & all kinds of craziness': his Difference Engine was purely mechanical, with gears & levers. And let's never forget the pioneering work of Ada Lovelace!!

This is a really great video! I wonder if the universe is built out of NAND gates... 🤔

@Kenjuudo

2 жыл бұрын

Then what are _those_ made out of? You're just avoiding the problem, not solving it.

@waaaaaaah5135

2 жыл бұрын

@@Kenjuudo More NAND gates

@Kenjuudo

2 жыл бұрын

@@waaaaaaah5135 Infinite regression.

@waaaaaaah5135

2 жыл бұрын

@@Kenjuudo Infinite NAND gates

@angeldude101

2 жыл бұрын

If it's not made of NAND gates, then it's probably made out of NOR gates instead (which are equally universal).

It gets more interesting when you discover what a Universal Construction is. (Category Theory)

Good Day Creel!

@WhatsACreel

2 жыл бұрын

G'day mate :)

He's Back!

@WhatsACreel

2 жыл бұрын

Ha! Sorry I'm sooo slow. Well, good to see yall anywho :)

He presented a dichotomic way to produce the formula for any function. But there's a simpler method: just list all the cases that produce a "1" output and OR these. Example: a 3 input function that is always 0 except for 000 and 011 inputs. The function is f=(~a * ~b * ~c) + (~a * b * c) (* is AND, + is OR, ~ is NOT)

@WhatsACreel

2 жыл бұрын

Oh, I like that :) I remember doing something similar with AND, you just like (A&~B&C) and then OR together any of the 1's in the table. Cheers for sharing mate!

@cmuller1441

2 жыл бұрын

@@WhatsACreel The method is to find the 1 and then ORing subfunctions that are zero everywhere except for that particular input. That produce a sequence like ( *... ) + ( *... ) + ( *... )... But we can do the opposite by finding the 0 outputs and then ANDing subfunctions that are 1 everywhere except for that particular input and get ( +... ) * ( +...)... en.m.wikipedia.org/wiki/Canonical_normal_form

@WhatsACreel

2 жыл бұрын

@@cmuller1441 You know, I was thinking of normal form too!! BSAT and 3SAT!! Wow, what a puzzle, I looooovve them :)

@DFPercush

2 жыл бұрын

A sum of products is the way most combinational circuits like this are implemented, because it settles in constant time. Look up Karnaugh map if you want to see how to optimize it. ;) Of course there are programs that will do this for you. Logisim is one I know of, although the interface for inputting a truth table can be kind of painful.

I used that (A&f(x)) | (~A&f(x)) trick to do conditional subtraction in a long division circuit I was emulating recently 😅

it is much simple to use karnaugh maps, to simplify the truth table into simple mathematical operations especially when the number of bits are increased.. Another way is to simplify the truth table, select the rows where outputs are 1 and add them for example XOR gate: A B O 0 0 0 0 1 1 1 0 1 1 1 0 So what we notice is A = 0 and B = 1 outputs 1 or A = 1 and B = 0 outputs 1, we can translate the function above into: O = A'B+AB', this can be also noted O = (~A)&B | A&(~B) If the output function is too big, it can be simplified using simple math, example OR Gate. A B O 0 0 0 0 1 1 1 0 1 1 1 1 O = A'B+AB'+AB = A(B+B') + A'B = A + A'B =A+B A+A' = 1 A+A'B = A+B A' = ~A AB = A&B A+B = A|B

"can compute EVERYTHING!" that is computeable. Turing proved that not everything is computeable.

@theguythatcoment

Жыл бұрын

and turing machines have never been created because no one has found a way to make infinite ram. In all seriousness if you find a new uncomputable function you might win yourself a spot in wikipedia. alongside Rice. Most things are computable unless you're trying a way to fuck with the machine's memory instructions.

@quintrankid8045

Жыл бұрын

@@theguythatcoment It's true that no one can create a Turing machine, but we still speak of programming languages as being Turing Complete, even if they don't have infinite ram. An new incomputable function? How about a function that can prove that a program will write the number 5? Or 6? Or 7?

@lyrimetacurl0

Жыл бұрын

But everything is able to be generated. For example most real numbers are uncomputeable but if you generate a random string of digits then you are generating an uncomputeable number.

@quintrankid8045

Жыл бұрын

@@lyrimetacurl0 Why is that uncomputeable? For example, 3.27 = 3 + .2 + .007.

@joseberger7737

Жыл бұрын

@@quintrankid8045ry listing every number between 0 and 1, there are infinite and with most your computer is gonna run out of ram for that number only

Nice 3d graphics :)

One NAND to rule them all!