Editing 1986 in science (section)

==Mathematics==
* Summer – [[Kenneth Alan Ribet]] demonstrates proof of the ε-conjecture, subsequently known as [[Ribet's theorem]]<ref>{{cite journal|first=Ken|last=Ribet|title=On modular representations of Gal({{overline|'''Q'''}}/'''Q''') arising from modular forms|journal=[[Inventiones Mathematicae]] |volume=100|year=1990|issue=2|pages=431–471|url=https://math.berkeley.edu/~ribet/Articles/invent_100.pdf|bibcode=1990InMat.100..431R|doi=10.1007/BF01231195|hdl=10.1007/BF01231195|s2cid=120614740}}</ref> confirming [[Gerhard Frey]]'s suggestion that the [[Modularity theorem|Taniyama–Shimura conjecture]] implies [[Fermat's Last Theorem]].<ref>{{cite journal|last=Frey|first=Gerhard|title=Links between stable elliptic curves and certain Diophantine equations|mr=853387|year=1986|journal=Annales Universitatis Saraviensis. Series Mathematicae|issn=0933-8268|volume=1|issue=1|pages=iv+40}}</ref>
* [[Lawrence Paulson]] makes the first release of [[Isabelle (proof assistant)]].<ref>{{cite journal|doi=10.1016/0743-1066(86)90015-4|title=Natural deduction as higher-order resolution|journal=The Journal of Logic Programming|volume=3|issue=3|year=1986|last1=Paulson|first1=L. C.|pages=237–258|arxiv=cs/9301104|s2cid=27085090}}</ref>
* [[Lee Sallows]] introduces the [[alphamagic square]].<ref>{{cite encyclopedia|url=http://www.daviddarling.info/encyclopedia/A/alphamagic_square.html|title=alphamagic square|encyclopedia=Encyclopedia of Science|accessdate=2012-05-12|archive-date=October 10, 2017|archive-url=https://web.archive.org/web/20171010024434/http://www.daviddarling.info/encyclopedia/A/alphamagic_square.html|url-status=dead}}</ref>