📚
Docs
  • Welcome
  • Santhosh Thottingal
    • Coding
    • Software I use
    • Research Papers
    • Talks
    • Projects
    • In news
    • Ideas
    • Books
  • Malayalam Computing
    • Unicode
      • Syllable
      • Conjunct
      • Articles
    • Input methods
      • Inscript
      • Swanalekha
      • Handwriting Recognition
        • Procrustes Analysis
      • Proprietory Input Methods
      • What is a good input method?
      • Typewriter
    • Script Rendering
      • Orthography
      • Ya Ra Va Signs
      • U signs
    • Type Design
      • Color Fonts
      • Curves
      • Design Ideas
      • Manjari
        • Gallery
      • Chilanka
      • Gayathri
      • Customize Malayalam fonts in Linux
      • Articles
      • Tools
      • Type classification
        • Display typefaces
    • Spellcheck
      • History
      • Dictionary based approach
      • Nature of Malayalam spelling mistakes
      • Morphology analyser based approach
      • Tools and services
      • Links
    • Hyphenation
      • Web page
    • Typesetting
      • LaTeX
      • Scribus
      • PDF
      • XeTeX
      • Indesign
      • Markup languages
    • Speech Recognition
    • Speech Synthesis
      • Dhvani
    • Collation
    • Corpus
    • Morphology Analysis
      • Mlmorph
        • Snippets
      • Part of speech tagging
      • Morphology complexity
    • Named Entity Recognition
    • Numbers
      • Number spellout
      • Hindi
    • Machine Translation
      • Neural Machine Translation
    • Optical Character recognition
    • Transliteration
    • Digitization
    • NLP
      • Low resource languages
      • Natural Language Generation
    • Grammar analysis
      • Style checkers
    • Dictionary
      • Lexicon
    • Natural Language Understanding
    • Natural Language Generation
    • Swathanthra Malayalam Computing
    • Meta
      • Malayalam Sign Language
      • പദനിർമിതി
      • History
      • ലിപിപരിണാമം നിലച്ചുപോയോ?
      • ഭാഷാ പഠനം
      • ശ്രേഷ്ഠ ഭാഷ
      • Dictionary
    • Encyclopedia
    • Government
      • Script
      • കേരള ഭാഷാ ഇൻസ്റ്റിറ്റ്യൂട്ട്
  • Academic Research
    • Knowledge Dissemination
    • Research papers
    • Reproducible Research
  • Arts
  • Books
  • Blockchain
  • Computer Science
    • Data, Information, Knowledge
    • Theory of computation
    • Compilers and Interpreters
    • Graphics
    • Data Visualization
    • Parsers
    • Data Structures & Algorithms
    • Finite State Transducer
  • Cyberspace
    • Digital Governance
    • കേരളത്തിൽ
    • Online Abuse
  • Databases
  • Education
    • Finite State Transducers
    • Digital Education
    • Digital Literacy
      • ഡിജിറ്റൽ സാക്ഷരതാ പദ്ധതി
      • Resources
    • Remote Learning
    • General Learning
  • Entertainment
  • Frontend technology
    • Colors
    • Design systems
    • CSS
    • PWA
    • SPA
    • Vue
  • Generative Graphics
    • Drawbot
    • Matrix Digital Rain
  • Hardware
  • Internet
    • Etiquettes
    • Privacy
    • IPFS
    • Resilience
    • Decentralization
    • Network debugging tools
  • Knowledge Representation
  • Languages & Scripts
    • Arabic
    • Vattezhuth
  • Life
    • Digital Minimalism
  • Linux
  • Machine learning
    • Neural Networks
    • Dialog systems, Information retrieval
    • Large Language Models
    • Embedding
    • ML in Production
    • Retrieval Augmented Generation
  • Mathematics
  • Music
  • Parenting
  • Politics
    • Hatred, Hinduthwa, Nationalism
  • Productivity
  • Problem Solving
  • Science
  • Software Libraries
  • Software Engneering
    • Architecture
    • Product Management
    • Docker
    • Programming
      • Javascript
    • People
    • Performance
    • Code Review
  • Web3
  • Web Typography
  • Writing
  • പാട്ടുകൾ
    • കുട്ടിപ്പാട്ടുകൾ
  • മലയാളം അച്ചടി
  • ഗവേഷണപ്രബന്ധങ്ങൾ
Powered by GitBook
On this page
  1. Software Engneering

People

A list of people who did significant contributions in the field of computer science and software engineering. In no specific order.

PreviousJavascriptNextPerformance

Last updated 4 years ago

  • - developed , providing a formalisation of the concepts of and with the , which can be considered a model of a . Turing is widely considered to be the father of theoretical computer science and .

    • In 2013, about him and his contributions

  • : known for creating , , and software projects. He developed for calculating single digits of .

    • (2011)

  • - Theoretical foundations on computability. Gödel published his two in 1931 when he was 25 years old, one year after finishing his doctorate at the . The first incompleteness theorem states that for any self-consistent powerful enough to describe the arithmetic of the (for example ), there are true propositions about the natural numbers that cannot be proved from the . To prove this theorem, Gödel developed a technique now known as , which codes formal expressions as natural numbers.

    • What Gödel Discovered:

  • - Von Neumann made major contributions to many fields, including (, , , , , , , and ), (, , and ), (), (, , , ), and .

    • He was a pioneer of the application of to quantum mechanics in the development of functional analysis, and a key figure in the development of and the concepts of , the and the .

  • :

  • Claude Shannon:

Links

Github's project is profiling famous or influential opensource contributors

Alan Turing
theoretical computer science
algorithm
computation
Turing machine
general-purpose computer
artificial intelligence
I wrote a Malayalam article
Fabrice Bellard
FFmpeg
QEMU
Tiny C Compiler
Bellard's formula
pi
Fabrice Bellard: Portrait of a Super-Productive Programmer
English wikipedia article
A small C program to print the biggest prime number
ACM Journal Article
Kurt Gödel
incompleteness theorems
University of Vienna
recursive
axiomatic system
natural numbers
Peano arithmetic
axioms
Gödel numbering
https://stopa.io/post/269
Kurt Gödel’s Brilliant Madness
John von Neumann
mathematics
foundations of mathematics
functional analysis
ergodic theory
representation theory
operator algebras
geometry
topology
numerical analysis
physics
quantum mechanics
hydrodynamics
quantum statistical mechanics
economics
game theory
computing
Von Neumann architecture
linear programming
self-replicating machines
stochastic computing
statistics
operator theory
game theory
cellular automata
universal constructor
digital computer
https://en.wikipedia.org/wiki/Von_Neumann_architecture
https://www.cantorsparadise.com/the-unparalleled-genius-of-john-von-neumann-791bb9f42a2d
Edsger W. Dijkstra
Edsger Dijkstra- The Man Who Carried Computer Science on His Shoulders
Krzysztof Apt
How Claude Shannon Invented the Future
Readme