14 events with tag "computation"
1703
ID: 436
Leibniz publishes 'Explication de l'Arithmétique Binaire', describing binary number system with implications for logic
ID: 436
1934
ID: 400
Haskell Curry develops combinatory logic, providing alternative foundation to lambda calculus
ID: 400
1935
ID: 1437
Alan Turing develops mathematical theory of computation - Creates mathematical framework for automatic calculation
ID: 1437
1936
ID: 1448
Turing proves undecidability of halting problem - Mathematical proof that some computational problems cannot be solved algorithmically
ID: 1448
1936
ID: 4487
Alonzo Church independently develops lambda calculus for computability
ID: 4487
1936
ID: 4582
Alonzo Church develops lambda calculus - foundation for functional programming
ID: 4582
1948
ID: 4564
John von Neumann develops theory of self-reproducing automata - theoretical foundation for cellular automata and artificial life
ID: 4564
1951
ID: 4565
Stanislaw Ulam suggests using cellular lattice for von Neumann's self-reproducing machines
ID: 4565
1973
ID: 4514
Landauer's principle proven - only irreversible operations require energy, reversible computation theoretically needs zero
ID: 4514
1985
ID: 4508
Kolmogorov complexity applications - computational irreducibility discovered by Wolfram
ID: 4508
2002
ID: 4571
Matthew Cook proves Rule 110 cellular automaton is Turing complete - simplest known universal system
ID: 4571
2019
ID: 4539
TFHE enables gate bootstrapping in 13ms - compute on encrypted data indefinitely without noise
ID: 4539
2023
ID: 3384
AI systems begin contributing to mathematical conjecture generation and pattern discovery
ID: 3384
2024
ID: 3400
Quantum algorithms achieve exponential speedup for specific number theory problems
ID: 3400