That unbelievable function that can compute EVERYTHING! An Adventure in Discrete Mathematics

Поділитися
Вставка
  • Опубліковано 26 вер 2024

КОМЕНТАРІ • 372

  • @Cracked1ce
    @Cracked1ce 2 роки тому +85

    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
      @WhatsACreel  2 роки тому +7

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

    • @flatfingertuning727
      @flatfingertuning727 2 роки тому +3

      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
      @mocringe811 2 роки тому +1

      Can you link somewhere for me to look into this?

    • @flatfingertuning727
      @flatfingertuning727 2 роки тому +1

      @@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
      @mocringe811 2 роки тому +1

      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

  • @zactron1997
    @zactron1997 2 роки тому +246

    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
      @WhatsACreel  2 роки тому +20

      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
      @ulysses_grant 2 роки тому +8

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

    • @phasm42
      @phasm42 2 роки тому +7

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

    • @RupertReynolds1962
      @RupertReynolds1962 2 роки тому +9

      Book ordered. Thanks for the pointer :-)

    • @ulysses_grant
      @ulysses_grant 2 роки тому +6

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

  • @heaslyben
    @heaslyben 2 роки тому +25

    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.

  • @programaths
    @programaths 2 роки тому +51

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

    • @proloycodes
      @proloycodes 2 роки тому

      it can also be done using only XOR gates!

    • @programaths
      @programaths 2 роки тому +6

      @@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
      @proloycodes 2 роки тому +1

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

    • @programaths
      @programaths 2 роки тому +6

      @@proloycodes a nand a not a

    • @proloycodes
      @proloycodes 2 роки тому +3

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

  • @danielvest9602
    @danielvest9602 2 роки тому +32

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

    • @robertjames4908
      @robertjames4908 2 роки тому +3

      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
      @danielvest9602 2 роки тому +4

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

  • @Jackarooo
    @Jackarooo 2 роки тому +21

    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
      @mikefochtman7164 Рік тому +1

      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.

  • @deltakid0
    @deltakid0 2 роки тому +16

    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.

  • @Intermernet
    @Intermernet 2 роки тому +24

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

    • @tfritzon
      @tfritzon 2 роки тому +3

      Indeed! Thanks Alan!

  • @JimTheScientist
    @JimTheScientist 2 роки тому +28

    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
      @daniel.lupton 2 роки тому +1

      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
      @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
      @jgained5065 2 роки тому +1

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

    • @daniel.lupton
      @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
      @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.

  • @Tsynique
    @Tsynique Рік тому

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

  • @quintrankid8045
    @quintrankid8045 2 роки тому +53

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

    • @theguythatcoment
      @theguythatcoment 2 роки тому +5

      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
      @quintrankid8045 2 роки тому +4

      @@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
      @lyrimetacurl0 Рік тому +1

      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
      @quintrankid8045 Рік тому

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

    • @joseberger7737
      @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

  • @sagoot
    @sagoot 2 роки тому +5

    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
      @kingacrisius Рік тому

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

  • @JodyBruchon
    @JodyBruchon 2 роки тому +7

    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.

  • @MarcinKwiatkowski
    @MarcinKwiatkowski 2 роки тому +1

    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.

  • @ulysses_grant
    @ulysses_grant 2 роки тому +2

    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!

  • @bart2019
    @bart2019 2 роки тому

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

  • @michaelduffy7469
    @michaelduffy7469 2 роки тому +20

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

  • @makkusaiko
    @makkusaiko 2 роки тому +1

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

  • @DouglasZwick
    @DouglasZwick 2 роки тому +3

    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.

  • @Tsynique
    @Tsynique Рік тому

    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 ;)

  • @pythonixed4448
    @pythonixed4448 2 роки тому +2

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

  • @camofelix
    @camofelix 2 роки тому +14

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

    • @WhatsACreel
      @WhatsACreel  2 роки тому +4

      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
      @camofelix 2 роки тому +5

      @@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

  • @tejonBiker
    @tejonBiker 2 роки тому

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

  • @mr.bulldops7692
    @mr.bulldops7692 2 роки тому

    The AR presentation is absolutely sick!

  • @Bobbias
    @Bobbias 2 роки тому +1

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

    • @WhatsACreel
      @WhatsACreel  2 роки тому +1

      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
      @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.

  • @hugo5097
    @hugo5097 2 роки тому +6

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

  • @TerjeMathisen
    @TerjeMathisen 2 роки тому +1

    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. :-)

  • @saeedbarari2207
    @saeedbarari2207 2 роки тому

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

  • @mullergyula4174
    @mullergyula4174 2 роки тому +1

    Really liked the ending.

  • @koohii3301
    @koohii3301 2 роки тому +1

    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!

  • @rustycherkas8229
    @rustycherkas8229 2 роки тому

    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...

  • @ghir0
    @ghir0 2 роки тому +4

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

  • @JerryThings
    @JerryThings 2 роки тому

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

  • @capitalist88
    @capitalist88 2 роки тому

    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.

  • @rubixtheslime
    @rubixtheslime 2 роки тому +1

    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.

  • @realcygnus
    @realcygnus 2 роки тому

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

  • @hinzster
    @hinzster 2 роки тому

    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!

  • @cparsec5524
    @cparsec5524 2 роки тому +2

    Creel is the Steve Irwin of Computer Science

  • @phovos7618
    @phovos7618 2 роки тому

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

  • @przemekkobel4874
    @przemekkobel4874 Рік тому

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

  • @pedrodesanti6266
    @pedrodesanti6266 2 роки тому

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

  • @saiputcha1730
    @saiputcha1730 9 місяців тому +1

    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

  • @stumbling
    @stumbling 2 роки тому +3

    Minecraft redstone uses universal NOR gates.

  • @_abdul
    @_abdul 2 роки тому

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

  • @darske1
    @darske1 2 роки тому +1

    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

  • @MDNQ-ud1ty
    @MDNQ-ud1ty Рік тому

    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).

  • @marsvandeplaneet7786
    @marsvandeplaneet7786 2 роки тому

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

  • @samuraiflack3880
    @samuraiflack3880 2 роки тому +1

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

  • @bettercalldelta
    @bettercalldelta 2 роки тому +1

    The god is actually just NAND.

  • @tomysshadow
    @tomysshadow 2 роки тому

    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

  • @mikesbasement6954
    @mikesbasement6954 2 роки тому +1

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

  • @idontwantahandlethough
    @idontwantahandlethough 2 роки тому +2

    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 :)

  • @the_allucinator
    @the_allucinator 2 роки тому

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

  • @jarikosonen4079
    @jarikosonen4079 2 роки тому

    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.

  • @phyniffer
    @phyniffer 2 роки тому +1

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

  • @redsmith9953
    @redsmith9953 2 роки тому

    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!

  • @jeremypnet
    @jeremypnet 2 роки тому +4

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

    • @HowardCShawIII
      @HowardCShawIII 2 роки тому

      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: ua-cam.com/video/t8aYkow-Fv8/v-deo.html
      Still, the engine itself was gears on rods, with carry arms - purely mechanical, as you say.

  • @stancostin
    @stancostin 2 роки тому +2

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

    • @WhatsACreel
      @WhatsACreel  2 роки тому

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

  • @JulianStokesIt
    @JulianStokesIt Рік тому

    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?

  • @furyzenblade3558
    @furyzenblade3558 2 роки тому

    Missed your videos, they're great!

  • @markmanning2921
    @markmanning2921 2 роки тому

    there are ways of explaining simple things that make them almost impossible to understand. but there are also ways of explaining complex things in ways that make them trivial to understand.

  • @williamgraham2468
    @williamgraham2468 2 роки тому

    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.

  • @cmuller1441
    @cmuller1441 2 роки тому +7

    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
      @WhatsACreel  2 роки тому +3

      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
      @cmuller1441 2 роки тому +1

      @@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
      @WhatsACreel  2 роки тому +1

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

    • @DFPercush
      @DFPercush 2 роки тому +4

      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.

  • @hell0kitje
    @hell0kitje 2 роки тому +1

    You animation skills are so good as programming!

  • @ghostlucian12
    @ghostlucian12 2 роки тому

    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

  • @krumpy8259
    @krumpy8259 2 роки тому

    Incredible video, thank you!

  • @phasm42
    @phasm42 2 роки тому

    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.

  • @TheCptEd
    @TheCptEd 2 роки тому +1

    Good Day Creel!

  • @trk20.
    @trk20. 2 роки тому

    [Sees "Discrete Math"]
    *flashbacks to the two courses I had to take*

  • @SmartK8
    @SmartK8 Рік тому

    "In the beginning was the Word, and the Word was with God, and the Word was God"
    The word was: NAND

  • @sallylauper8222
    @sallylauper8222 2 роки тому

    Programming: the art of finding better ways to do things than with a pure nand array.

    • @WhatsACreel
      @WhatsACreel  2 роки тому

      Oh, I like that!!
      I often think of it as compressing those output columns.
      NAND arrays or bit strings, all algorithms are data compression!! :)

  • @kcaz64
    @kcaz64 2 роки тому

    Patreon is the platform. Patrons are supporters.

  • @PplsChampion
    @PplsChampion 2 роки тому +1

    all you need is nand ❤

  • @leyasep5919
    @leyasep5919 2 роки тому

    The multiplexer is an even more admirable universal gate !

  • @tomcombe4813
    @tomcombe4813 2 роки тому

    You say it wouldn't be practical to implement things with just NAND, but the cray-1, the fastest supercomputer in the world for its time, was made out of just NAND gates for the logic. And the apollo guidance computer was made out of just NOR gates.
    Often, it's more practical to make things with just NAND because then you only need one type of chip.

  • @harumiohana906
    @harumiohana906 2 роки тому +1

    Thanks mate!

  • @eljashyyrynen4787
    @eljashyyrynen4787 2 роки тому +1

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

  • @xyzct
    @xyzct 2 роки тому

    Magnificent presentation. Thank you, sir!

  • @louf7178
    @louf7178 2 роки тому

    I have this on my computer. It's called the "excellent" key. Whatever you want, just press it, and it comes out excellent. Credit: S. Horvath.

  • @cccapuno
    @cccapuno 2 роки тому +1

    shout out to xor, crazy ass fella

  • @SimGunther
    @SimGunther 2 роки тому

    One NAND to rule them all!

  • @TheFakeVIP
    @TheFakeVIP 2 роки тому

    Electrickery is my new favourite word!

  • @MrMycelium
    @MrMycelium 2 роки тому

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

  • @az-kalaak6215
    @az-kalaak6215 2 роки тому +11

    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
      @WhatsACreel  2 роки тому +13

      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 UA-cam :) I'm just rather slow.... It is nice to see you all again anywho, and thanks for watching :)

    • @Tumbolisu
      @Tumbolisu 2 роки тому +5

      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
      @DFPercush 2 роки тому +6

      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
      @Tumbolisu 2 роки тому +3

      @@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
      @DFPercush 2 роки тому +3

      ​@@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.

  • @ruffianeo3418
    @ruffianeo3418 2 роки тому

    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.

  • @Rudxain
    @Rudxain 2 роки тому

    This reminds me of the Esolang named "FlipJump", it's more simple than Brainfuck but still Turing-Complete, amazing

  • @vemarj2802
    @vemarj2802 Рік тому

    See also:
    "Iota and Jot: the simplest languages?"
    by Chris Barker.

  • @Rudxain
    @Rudxain 2 роки тому

    13:51 this is actually mind-blowing when you realize and *deeply* understand that everything in math, computer science, and physics, is *just data.* What we call a "prime number" is a numerical value that can be represented in many ways, big-endian positional-binary is just 1 of the infinite ways to represent numbers as numerals.
    If humanity used little-endian as standard, we would see that gate as "return true if after reversing the bit order, the numeral represents a prime number". If we used gray-code instead of positional notation, that same gate that returned "correct" results for positional notation, becomes "wrong" when we use it with gray-code numerals, and we would need another gate to answer the question "correctly".
    The correctness of a function only depends on what answers we want from that function. *It's all in our heads* 🤯
    Data is just data, it doesn't have meaning, nor sense, nor purpose. It all depends on *how* it is interpreted

  • @doudoud82
    @doudoud82 2 роки тому +1

    Before you transited to Allen Turing you remind me of lambda calculus in general where it can do everything also with the S K logic.
    PS: turning machines and lambda calculus are equivalent XD quite the relationship there.

  • @brightblackhole2442
    @brightblackhole2442 2 роки тому

    15:00 you could also use a karnaugh map so you don't have to deal with that huge equation

  • @danbhakta
    @danbhakta 2 роки тому

    The button or switch that toggles the power state of a computer (off or on) is the fundamental bit.

  • @MrRyanroberson1
    @MrRyanroberson1 2 роки тому

    Along with NAND are the lesser known alternatives:
    NOR (a nor a = not a)
    AND-NOT with ONE (1 and not a -> not a)
    OR-NOT with ZERO (complementary to &~ with 1)

  • @alan2here
    @alan2here 2 роки тому +2

    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.

  • @markkortink7479
    @markkortink7479 2 роки тому

    Good video.
    Just a note, you only need NOT and OR to construct all binary Boolean operations because (p AND q) equals NOT (NOT p OR NOT q).

  • @lordadamson
    @lordadamson 2 роки тому +1

    I don't need food. I don't need water. All I need is NAND.

  • @anon_y_mousse
    @anon_y_mousse 2 роки тому +1

    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.

  • @3s635
    @3s635 2 роки тому +2

    nice show!
    16 boolean basic functions?
    0 input, 1 output (2): 0,1
    1 input, 1 output (1): not
    2 input, 1 output (3): xor,, and, or
    from these 6 bbf's all functions can be built: not-not (=), xand,...
    some of these are redundant

  • @Zman2024
    @Zman2024 2 роки тому

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

  • @ChrisM541
    @ChrisM541 2 роки тому

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

  • @BK-md2qw
    @BK-md2qw 2 роки тому

    Thanks mate, you too are amazing.