 What's up guys root of the null? I'm not going to show you any Python code today or in this video But I do want to kind of show you this cool interesting and fascinating thing If you do some reading with SimPy and the module online It does note and kind of direct you to this cool Wikipedia article for Richardson's theorem Which is all about equality and how you can't really prove two equal things are equal symbolically so Check this out this Wikipedia article and mathematics Richardson's theorems establishes a limit on the extent to which an algorithm can decide Whether a certain mathematical expressions are equal it states that fairly certain natural class of expressions It is undecidable whether a particular expression e satisfies the equation equal zero and similarly Undecidable whether the functions defined by expressions e and f are equal everywhere In fact equals f and only if only if sorry e minus f is equal to zero now This was proven in 1968 by computer scientist Daniel Richardson of here the University of Bath man I'm not going to give this guy any shame But I mean University of Bath is pretty cool like if I could go to the University of a shower I'd go if I could go to University of hot tub man. That's all my money You know here it is take it take 12 take 20 now. I'm not going to read any more of this to you guys I just think it's cool. I mean being part of the programming world being part of this Intellectual sphere you can emerge with mathematics and science and really really cool stuff So I just wanted to show this to you kind of an interesting mind thing and oh man Daniel Richardson's been deleted. I Mean hey University of Bath still got to be open if you know what I'm saying there we go