Proof — Stored-program computer

Statement

EDSAC; program libraries. Proved in ZFC.

Source

ACM Turing Award 1967. EDSAC; program libraries. Proved in ZFC.

Domains

computer-science

People

• Maurice Wilkes

Related

• Theorem: Stored-program computer
• Proof: Stored-program computer

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People