“The first human-to-computer uploads of 2100 will prove that a perfect simulation is the thing being simulated - that a silicon soul doesn't need a physical body to inhabit. So eventually everybody who ever lived will be resurrected inside a living machine indistinguishable from God. Isn't it amazing what you can do with unlimited hard-disk space?” NeedsFirstsHumansSoulHardBodyCan DoSpacePerfectProveComputerMachinesUnlimitedSiliconPhysical BodySimulationDisk Author:Frank J. Tipler
“You can prove anything by mentioning another computer language.” LanguageProveComputerComputer Language Author:Larry Wall
“We imagine "pure" cybernetic systems, but we can prove only that we know how to build fairly dysfunctional ones. We kid ourselves when we think we understand something, even a computer, merely because we can model or digitize it.” ThinkingKnowsKidsKnow HowImaginePureProveComputerModels Author:Jaron Lanier
“Without computers we will be stuck only proving theorems that have short proofs.” ScienceProveComputerMathematicsProofStuckTheorems Author:Kenneth Appel
“If you keep proving stuff that others have done, getting confidence, increasing the complexities of your solutions - for the fun of it - then one day you'll turn around and discover that nobody actually did that one! And that's the way to become a computer scientist.” IfsWayDoneTurnsFunStuffOne DayProveComputerSolutionsScientistComplexity Author:Richard P. Feynman