niko
@niko____las
designer
ID: 943228092159578112
19-12-2017 21:14:36
82 Tweet
56 Followers
168 Following
Stephen Wolfram We can automate the proving of theorems, or the discovery of conjectures, or even the invention of new axiom systems, but we can't automate *mathematics*. Because "mathematics" is the name we give to the *human* cultural story, not to the formal methods themselves. (14/15)
Katherine Boyle I cannot wait until the White House changes hands and all of you ghouls switch back from "you're a traitor unless you bootlick so hard your tongue goes numb" to "the government asking any questions about my offshore fentanyl casino is vile tyranny and I will throw myself in the