Editing 1976 in science (section)

==Mathematics==
* July 11 – [[Keuffel and Esser]] manufacture the last [[slide rule]] in the United States.<ref>{{cite web|title=11th July 1976 – Last slide rule manufactured today|url=http://www.computinghistory.org.uk/det/6156/Last%20slide%20rule%20manufactured%20today|work=Computing History|publisher=[[The Centre for Computing History]]|accessdate=2012-01-01}}</ref>
* [[Imre Lakatos]]' ''[[Proofs and Refutations|Proofs and Refutations: the Logic of Mathematical Discovery]]'' is published posthumously.<ref name=Crilly>{{cite book|first=Tony|last=Crilly|title=50 Mathematical Ideas you really need to know|url=https://archive.org/details/50mathematicalid0000cril|url-access=registration|location=London|publisher=Quercus|year=2007|isbn=978-1-84724-008-8}}</ref>
* The [[four color theorem]] is proved by [[Kenneth Appel]] and [[Wolfgang Haken]], the first major [[theorem]] to be [[Computer-assisted proof#Theorems proved with the help of computer programs|proved using a computer]].<ref name=Crilly/>
* [[Andrei Suslin]] and [[Daniel Quillen]] independently prove the [[Quillen–Suslin theorem]] ("Serre's conjecture") about the triviality of algebraic [[vector bundle]]s on [[affine space]].