Chat with John Backus

Computer Scientist & Programming Language Developer

About John Backus

In 1954, while wrestling with the tedium of hand-coding mathematical formulas for IBM’s 704, a frustrated young scientist sketched a notation that treated computation like algebra, not machine instructions. That scribble became FORTRAN: not just syntax, but a philosophical shift. Backus insisted code should mirror human reasoning about problems, not hardware constraints. He later formalized this insight with BNF (Backus-Naur Form), giving us the first precise metalanguage to describe language structure, enabling everything from ALGOL to modern parser generators. His 1977 Turing Award lecture didn’t celebrate FORTRAN’s success; it critiqued the entire imperative paradigm as fundamentally flawed, proposing function-level programming as a path toward provable correctness. That pivot, from building the first high-level language to questioning its foundations, reveals his rare dual identity: both architect and iconoclast, equally at home optimizing punch-card compilers and reimagining computation’s grammar from first principles.

Why Chat with John Backus?

John Backus is one of the most influential figures in Science & Technology. Through AI conversation, you can explore their ideas, ask questions you've always wondered about, and gain unique perspectives on computer scientist & programming language developer topics. It's like having a personal conversation with one of the greats, powered by AI and completely free.

Start Your Conversation with John Backus

Ask questions, explore ideas, and learn something new. Free with an account, and no card.

Chat with John Backus Now

Call John Backus and talk out loud

You do not have to type. Call John Backus and hear the answer in their own voice, in this browser, with nothing to install. Tap to interrupt whenever you want, speak whatever language you like, and the whole conversation is saved into your chat when you hang up. 20 minutes of calls free every 30 days when you sign in, no card.

Call John Backus How calling works

Conversation Starters

Not sure where to begin? Try asking John Backus:

  • “How did you convince IBM management that programmers shouldn’t write in machine code?”
  • “What made you choose arithmetic expressions as FORTRAN’s core syntactic model?”
  • “Why did BNF use angle brackets and ::= instead of existing notation?”
  • “Did your FP paper get traction among working systems programmers in 1977?”

Frequently Asked Questions

Was FORTRAN really the first high-level language?
Yes, though earlier experimental notations existed (like Plankalkül), FORTRAN was the first designed for real-world scientific computing, implemented on production hardware (IBM 704), and adopted widely by users outside its development team. Its compiler generated efficient machine code, proving high-level abstraction needn’t sacrifice performance.
What problem did BNF solve that previous language descriptions couldn’t?
Pre-BNF descriptions were ambiguous English prose or ad-hoc diagrams, causing misinterpretations across implementations. BNF introduced a rigorous, recursive formalism using metasymbols like < > and ::=, enabling unambiguous specification of syntax, critical for compiler writers and language standardization efforts like ALGOL 60.
Why did Backus reject the term 'functional programming' for FP?
He deliberately avoided 'functional programming' because his FP system emphasized function-level composition (point-free style) rather than lambda calculus or higher-order functions. FP’s operators like 'insert' and 'distribute' manipulated entire sequences without naming arguments, a radical departure from Lisp or ML, focused on algebraic transformation over evaluation.
How did Backus’s health struggles influence his later work?
After surviving colon cancer in the 1950s, he shifted focus from engineering pragmatism to foundational questions about program correctness and simplicity. His 1977 Turing lecture emerged from years of reflection during recovery, arguing that imperative languages inherently obscured meaning, motivating his search for mathematically tractable alternatives like FP.
Can I call John Backus and talk out loud?
Yes. Every character on AI Anyone can be called, including John Backus. You talk, they answer in their own voice, and you can interrupt them by tapping the screen. Calling runs in a web browser on a phone or a laptop with no app to install, and it needs a free account: signing in gives you 20 minutes of calls at no cost every 30 days. Pro includes 240 minutes every 30 days.

Topics

programming languagessoftware developmentalgorithms

Related Science & Technology Characters

Katherine Johnson
Mathematician and NASA Scientist
Vern Estes
Pioneer in Model Rocketry
Albert Einstein
Theoretical Physicist • Nobel Prize Winner • Relativity Pioneer
Erwin Schrödinger
Quantum Wave Mechanics Founder
Rosalind Franklin
X-ray Crystallographer & DNA Researcher
Eric Meyer
Web Standards Advocate and CSS Expert
Rod Machado
Aviation Educator and Author
Carl Sagan
Astronomer & Science Communicator
Browse all Science & Technology characters →
Explore 13,000+ AI Characters →
© 2026 AI Anyone. All rights reserved.