C program: print the first 1000 digits of π.
Generates the digits sequentially from left to right, providing increasing accuracy. (Implement "Spigot algorithm" Low memory usage and Integer arithmetic).
This code is for PDP-11, the C compiler for that machine It's from 1973.
Leibniz sketched a machine to compute with symbols, centuries before modern computing.
Manuscripts like this hint at what’s still to be uncovered:
https://t.co/1nTWUyLJEf
@VitalikButerin@patrickc
@MathMath901@SpringerMath In less philosophical but more physical terms there have been invented applications of math in physics but math itself has been discovered. Math underlies the reality whereas physics is a way we see it.
Euclid's Fifth Postulate shows that mathematical truth depends on the axiomatic framework. It is true in Euclidean geometry, false in spherical geometry, and different again in hyperbolic geometry. The mathematics is consistent in each case; only the underlying axioms change.