John Horton Conway | |
---|---|
angol John Horton Conway | |
Születési dátum | 1937. december 26. [1] |
Születési hely | |
Halál dátuma | 2020. április 11. [2] [3] [4] […] (82 éves) |
A halál helye | |
Ország | |
Tudományos szféra | csoportelmélet és kombinatorikus játékelmélet |
Munkavégzés helye | |
alma Mater | |
tudományos tanácsadója | Harold Davenport |
Díjak és díjak | A Londoni Királyi Társaság tagja ( 1981 ) Poya-díj [d] ( 1987 ) Berwick-díj [d] ( 1971 ) Nemmers-díj matematikában ( 1998 ) Steele-díj matematikai prezentációért [d] ( 2000 ) |
![]() | |
Médiafájlok a Wikimedia Commons oldalon |
John Horton Conway ( 1937 . december 26. – 2020 . április 11. ) brit matematikus .
Leginkább az Életjáték megalkotójaként ismert . Hozzájárulása azonban a matematikához nagyon sokrétű és jelentős. A csoportelméletben felfedezte a Conway-csoportokat , és megfogalmazta a szörnyű értelmetlen sejtést . Társszerzőkkel együtt lefektette a kombinatorikus játékelmélet alapjait, miközben szürreális számokat fedezett fel . Hozzájárult a csomóelmélethez , a számelmélethez is . Conway számos munkája a szórakoztató matematika területéhez tartozik, vagy ahhoz közel áll. Általában hajlamos volt gyönyörű, vizuális tárgyakat, például játékokat vagy poliédereket felfedezni , anélkül, hogy érdekelte volna, milyen jelentősége van ennek az alap- vagy alkalmazott tudomány szempontjából.
Liverpoolban , Egyesült Királyságban született . A Cambridge - i Egyetemen szerzett diplomát, 1964-ben ott szerzett PhD fokozatot , és ott maradt tanítani. Az 1960-as és 70-es évek fordulóján mind a szakmai közösségben (hála a Conway-csoportoknak), mind a nagyközönségben (a "Life" játéknak köszönhetően) ismertté vált. 1986 óta a Princeton Egyetemen ( USA ) dolgozik . Kiváló előadó volt; az egyetemi tanítás mellett matematikáról tartott előadásokat és cikkeket írt iskolásoknak és a nagyközönségnek.
John Horton Conway apja, Cyril nem fejezte be az iskolát, de aktívan részt vett az önképzésben. Cyril Conwaynek és feleségének, Agnes Boyce-nak három gyermeke született: Joan, Sylvia és a kisebbik John, 1937-ben született Liverpoolban [10] . János az olvasás iránti szenvedélyt és a látványos bemutatók iránti szeretetet örökölte apjától [11] .
John Conway meglehetősen introvertált gyerek volt, aki szerette a matematikát [12] . jelölésének ötletét tinédzserként [13] fogta meg .
1956-ban belépett a Cambridge- i Egyetem Gonville and Keys College-jába, és úgy döntött, hogy ott extrovertáltként viselkedik [12] . Cambridge-ben valóban barátokat szerzett, különféle tudományos és társadalmi tevékenységekben vett részt. Különösen ott találkozott Michael Guy-val, Richard Guy matematikus fiával ; Michael Guy több lapon Conway legjobb barátja és társszerzője lett . Többek között Cambridge-ben Conway és barátai egy digitális számítógépet építettek, amely vízcsöveken és szelepeken dolgozott. Sok időt töltött azzal, hogy mindenféle játékkal játszott, és különösen Abram Samoylovich Besikovich -csal játszotta a „ Saját Trumpok” kártyajátékot Besikovich speciális változatában. Conway tanulmányi teljesítménye eleinte jó volt, de aztán leromlott [13] .
1961-ben feleségül vette Eileen Francis Howe-t [13] . Eileen idegen nyelvű oktatással rendelkezik: francia és olasz [15] . Johnnak és Eileennek 1962 és 1968 között négy lánya született: Susan, Rose, Elena és Ann Louise [10] .
Miután 1959-ben elvégezte a főiskolai diplomát [16] , John Conway Harold Davenport végzős hallgatója lett . Dolgozatához először javasolt egy nem túl érdekes problémát a számelmélet területéről egy egész szám ötödik hatványok összegeként való ábrázolásával kapcsolatban. Conway megoldotta a problémát, de nem publikálta a munkáját. Később a határozatot egy másik személy tette közzé [13] . Conway végül 1964-ben szerezte meg a PhD fokozatát egy valamivel érdekesebb, de egyben meglehetősen lényegtelen általános problémáról szóló disszertációjával [17] .
Conway ott kapott állást a Gonville and Keys College-ban, a Tiszta Matematika Tanszéken. Előadásokat tartott, amelyek nagy népszerűségnek örvendtek a fényes és vizuális magyarázatok, a már-már cirkuszi trükkök és az improvizációk miatt. Gyakran nem volt terve és szövege saját előadásaihoz. Tanítványa, Andrew Glass részletes, rendezett összefoglalót készített az absztrakt automatákkal kapcsolatos előadásairól ; ezt az absztraktot sok diák, majd maga az oktató is kérte másolni, és néhány évvel később ebből az absztraktból Conway első könyve, a Szabályos algebra és véges gépek [15] lett .
Conway sok matematikai játékot játszott kollégáival és diákjaival, és rendszeresen kitalálta őket. Így Michael Paterson diákkal feltalálták a palántatopológiai játékot , amely azonnal teljes népszerűségre tett szert a tanszéken. Conway levelezni kezdett Martin Gardnerrel a játékokról, beleértve a csemetéket, és a méltányos osztás probléma egy változatának megoldására szolgáló algoritmusról (amelyet John Selfridge korábbi megoldásától függetlenül fedezett fel [18] ). Emellett Conway a négydimenziós teret is megpróbálta vizualizálni, és ehhez egy speciális eszközzel vízszintes helyett függőleges parallaxissal tanította a binokuláris látást . Ugyanebben az időszakban munkatársaival a Look-and-Say sorozatot fedezték fel ; mint az eredményeivel gyakran megtörtént, a bizonyítékok egy része ismételten elveszett, újra felfedezték, és végül jóval később publikálták [15] .
Összességében a disszertáció utáni időszakban Conway élete kellemes és gondtalan volt. De nem végzett "komoly" matematikai munkát, és ez lehangolta [15] .
Az 1960-as és 1970-es évek rendkívül termékenyek voltak Conway számára (ezt az időszakot annus mirabilisnek nevezte [19] ): talált három új szórványos csoportot , amelyeket róla neveztek el, kitalálta az "Élet" játékszabályokat, és szürreális számokat épített fel .
Conway csoportokAz 1960-as években aktív munka folyt az egyszerű véges csoportok osztályozásán . Világossá vált, hogy néhány szórványos csoportot nem lehet felfedezni - egyszerű véges csoportokat, amelyek nem férnek bele az általános osztályozásba. Ugyanakkor John Leach talált egy rendkívül szimmetrikus rácsot , amelyet róla neveztek el, és felvetette, hogy annak szimmetriacsoportja tartalmazhat egy új szórványos csoportot. John Mackay brit matematikus sok kollégájának mesélt erről a problémáról, köztük John Thompson és John Conway cambridge-i matematikusoknak. Thompson már a csoportelmélet elismert fénykora volt (és rendkívül elfoglalt ember), míg Conway csak némi tudással rendelkezett ezen a téren. Thompson azt javasolta Conwaynek, hogy számítsa ki a Leach-rács szimmetriacsoportjának sorrendjét. Elhatározta, hogy elvállalja ezt a feladatot, és több hónapon át készült rá heti kétszer 6-12 órában [20] [21] .
A Leach Grid felfedezésének első napján Conway szavai szerint "búcsút csókolt feleségének és gyermekeinek", és munkához látott. És aznap estére már nemcsak ki tudta számolni a csoport sorrendjét, hanem meg is tudta alkotni, és megtalálta a benne található három új szórványos csoportot [21] . Ezt követte a Thompsonnal folytatott megbeszélések, az eredmények közzététele egy 1968-as tanulmányban, utazások konferenciákra és szemináriumokra szerte a világon, a talált csoportokról szóló beszámolókkal. Ettől a pillanattól kezdve John Conway már nem tudott aggódni amiatt, hogy elég komoly matematikát csinál-e [20] .
Game of LifeConwayt gyermekkora óta érdekli a sejtautomaták, és különösen a Neumann -automata. Célul tűzte ki, hogy a lehető legegyszerűbb, nem triviális, kiszámíthatatlan viselkedésű sejtautomatát dolgozzon ki, abban a reményben, hogy ebben az esetben az Turing-teljes lesz . Egy csapat lelkes (Conway, kollégái és tanítványai) a szabályok számtalan változatát válogatták össze, hogy megtalálják a megfelelőt. Erőfeszítéseiket megjutalmazták, amikor előálltak az Életjáték néven ismertté vált játékkal . Conway 1970-ben Martin Gardnernek írt levelében lefektette azokat az alapokat, amelyeket az Életjátékról tanult. A Scientific American rovatában írt az Élet játékáról , és ez a cikk lett a legnépszerűbb az ebben a rovatban megjelent cikkek közül. Az Életjáték több ezer rajongót szerzett Amerikában és azon kívül is, feltalálója pedig a nagyközönség körében is ismertté vált [23] .
Hamarosan Conway bebizonyította a "Life" játék Turing-teljességét (a bizonyítékot nem tették közzé). Ezt követően gyakorlatilag elvesztette érdeklődését ez a téma. Elégedetlen volt azzal, hogy az "Élet" játék mennyivel híresebb, mint a többi műve, és nem szeretett róla túl sokat beszélni - kivéve az egyes érdeklődő gyerekeket [24] [25] .
Szürreális számok és játékkönyvekAz évek óta tartó játékok kitalálása és gondolkodása nem volt hiábavaló. Richard Guy kidolgozott egy elméletet, amely a játékok széles osztályát írja le, és amikor az 1960-as évek második felében Alvin Berlekamp amerikai matematikussal egy játékról szóló könyvet fogant ki , felkérték Conwayt, hogy legyen társszerzőjük [26] . Miközben a Winning Ways for Your Mathematical Plays című könyvön dolgozott , Conway folytatta a játékok kutatását, és megállapította, hogy az úgynevezett torzított játékokban a pozíciók számokkal is kifejezhetők, és az ehhez szükséges számok osztályába nem csak egész és valós számok tartoznak. , hanem néhány új szám is . Donald Knuth szürreálisnak nevezte ezeket a számokat. Conway a szürreális számokat tartotta a büszkeség fő okának [19] [27] .
Bár az elfogult játékelmélet bekerült a Winning Waysbe , nem foglalkoztak vele túl részletesen, különösen, ha szürreális számokról van szó. Conway ugyanabban az 1970-es levélben írt ezekről a számokról Gardnernek, amelyben az Életjátékról számolt be, majd később, 1976-ban gyorsan megírta és kiadta saját könyvét, a Számokról és játékokról , amely elfogult játékokról és szürreális számokról szól. Amikor ezt jelentette Berlekampnak, rendkívül elégedetlen volt, és majdnem összeveszett a cambridge-i társszerzővel, és csak Guy tudta kibékíteni őket. A Winning Ways végül csak 1981-ben készült el; a következő évben a könyv megjelent, és bestseller lett (annak ellenére, hogy a kiadó nem reklámozta), valamint az On Numbers and Games előtt [19] [27] .
Ez a két játékról szóló könyv, mint Conway sok más művében is, egyértelműen az unortodox terminológia és a szójátékok iránti szeretetének nyomát viseli [19] : például a páros és páratlan számú egyes számokat bináris jelöléssel gonosznak nevezik. és odious - angol . gonosz és utálatos , vö. páros és páratlan ( angolból - " páros " és "páratlan") [28] .
Az 1970-es évek elején John Conwaynek az az ötlete támadt, hogy összeállítson egy útmutatót véges csoportokhoz. Ezt a jövőbeli könyvet a "Véges csoportok atlaszának " - a véges csoportok atlaszának nevezték . A projektben részt vettek a Conway végzős hallgatói, Robert Curtis, Simon Norton és Robert Wilson, valamint Richard Parker. Rengeteg adatot gyűjtöttek össze és ellenőriztek a véges csoportokról, és végül úgy döntöttek, hogy a karaktertáblázatokat először is felveszik az atlaszba . A munka sok éven át húzódott [JHC 1] [30] .
Az 1970-es években a közösség továbbra is nagyon aktív volt az egyszerű véges csoportok osztályozásának kidolgozásában, és Conway továbbra is szórványos csoportokon dolgozott. Különösen részt vett a szörny méretének meghatározásában (és kitalálta ezt a nevet a csoport számára). 1978-ra más csoportteoretikusok kiszámították a szörnyfigurák táblázatait (ez a csoport azonban még nem épült fel). És abban a pillanatban John McKay észrevette, hogy az egyik szörnyreprezentáció, 196883 dimenziója csak eggyel különbözik a j - invariáns - egyetlen moduláris függvény Fourier-kiterjesztésének lineáris együtthatójától, amely 196884-nek felel meg. Conway és Norton összegyűjtötte ez és a különböző szerzők más megfigyelései, és sejtést fogalmaztak meg a moduláris függvények és a véges csoportok közötti mély kapcsolatról, ezt „ szörnyű nonszensz hipotézisnek ” [32] - angolul. monstrous moonshine : a jelző egy szörnyetegre utal, és a holdfényt nem csak "hülyeségnek", hanem " holdfénynek " és "holdfénynek" is fordítják; Mindezek a jelentések azt jelentik, hogy a hipotézis váratlan, megdöbbentő, meglepő és megfoghatatlan [30] .
Ezenkívül a hetvenes évek közepén Conway a játékokról és a Penrose csempézésről szóló könyvekkel foglalkozott . Ugyanebben az időszakban Gardner megmutatta neki Lewis Carroll 1887 -es természetjegyzetét , amely egy algoritmust ír le a hét azon napjának gyors meghatározására, amelyre egy adott dátum esik, és azt javasolta, hogy dolgozzon ki egy olyan algoritmust, amelyet még könnyebb lenne kiszámítani. emlékezik. Ennek eredményeként Conway összeállította a Doomsday Algorithm -ot , amely szenvedélyévé és egyik kedvenc trükkjévé vált: évtizedeket töltött az algoritmus csiszolásával, az emlékezés mnemonikájával és a használatában szerzett saját készségeivel [30] .
Az 1970-es évek végén Conway szakított Eileennel, és megismerkedett Larissa Quinn-nel. Larisa Volgográdból ( Szovjetunió ) [33] származott, végzős hallgatója [34] volt, a szörnyűséges ostobaság hipotézisének tanulmányozásával foglalkozott; 1981-ben szerzett PhD fokozatot Cambridge-ben [ 35 ] . John és Larisa 1983-ban házasodtak össze, amikor született egy fiuk, Alex (a szószéken a csoport tiszteletére a kis szörnyeteg becenevet kapták). 1983-ban Conwayt professzori posztra léptették elő. Az 1980-as évek első felében Conway végzős hallgatója Richard Borcherds volt , aki később bebizonyította a szörnyű nonszensz hipotézist [36] .
Közben 1984-ben végre elkészült az Atlasz. Még egy évbe telt, mire előkészítették a megjelenésre. Megjelenése régóta várt esemény volt a csoportelmélet területén dolgozó matematikusok számára világszerte [36] [JHC 1] .
John Conway az 1986-1987-es tanévet a Princeton Egyetemen ( USA ) töltötte, ideiglenesen az újonnan alapított [37] Fonnemann Alkalmazott és Számítógépes Matematika professzor posztját a Matematikai Tanszék akkori vezetője, Elias Stein meghívására. Conwayt felkérték, hogy teljes munkaidőben maradjon ebben a pozícióban. Nagyon habozott, de végül felesége véleménye, a magasabb fizetés, sok matematikustárs távozása Cambridge-ből és a változás általános vágya rávették az ajánlat elfogadására [36] .
A Princetonban Conway karizmájáról és különcségéről is híres lett. A tanítás eleinte nem volt túl sikeres: egy unalmas és üres témát kínáltak neki egy előadási kurzust, és amikor ő maga úgy döntött, hogy előadást tart egy szörnyről, kiderült, hogy ez a kurzus nem túl népszerű a hallgatók körében, de néhány professzort vonzott a hallgatóság közé, ami zavarta. De a dolgok javultak, amikor elkezdett együttműködni a híres topológus William Thurstonnal . Conway és Thurston előállt a Geometria és Képzelet tanfolyammal, csatlakozott hozzájuk Peter Doyle és Jane Gilman tanárok. A kurzus előadásai élénk hangulatúak voltak, zseblámpákat, kerékpárokat, LEGO-kat és Conway hasát használták matematikai fogalmak vizuális illusztrációiként . Ezenkívül Thurston bevezette Conway-t a kétdimenziós tér szimmetriacsoportjainak orbifold megközelítésére vonatkozó ötletébe, amelyet aztán kidolgozott . Összességében a Princetonban Conway inkább oktató, mint kutató lett .
Időről időre Conway különféle beszédeken beszélt különféle érdekes megoldatlan problémákról, és pénzdíjat ajánlott fel megoldásukért. A nyeremény nagysága megfelelt a probléma várható nehézségének, és általában viszonylag kicsi volt. Conway barátságban volt Neil Sloannal , a The Encyclopedia of Integer Sequences szerzőjével , és nem meglepő, hogy ezek közül a problémák közül sok egész számú sorozatot érintett. 1988-ban történt a sorozat, amelyet ma 10 000 dolláros Hofstadter-Conway sorozatként ismernek . Conway 1000 dollárt szándékozott felajánlani, hogy bizonyítson egy bizonyos állítást a sorozat aszimptotikus viselkedéséről, de miután lefoglalta, ennek az összegnek a 10-szeresét nevezte meg – ez a költségvetése szempontjából igen jelentős összeg; ugyanakkor a feladat a vártnál könnyebbnek bizonyult, és két hét után Colin Mallows statisztikus megoldotta (ahogy később kiderült, jelentéktelen hibával). Miután tudomást szerzett Conway foglalásáról, Mallows nem volt hajlandó beváltani az általa küldött csekket, míg Conway ragaszkodott a nyeremény elfogadásához; végül 1000 dollárban állapodtak meg [38] .
1988-ban fiú, Oliver született John és Larisa családjában (ezt követően mindkét fiuk elkezdte az egzakt tudományokat tanulni, szüleik nyomdokaiba lépve). 1992-ben nehéz váláson mentek keresztül. Ennek következménye Conway pénzügyi nehézségei és a fiaival való kommunikáció hiánya volt. Szívrohamot kapott, majd a következő évben még egyet. E problémák hátterében öngyilkosságot kísérelt meg úgy, hogy túladagolta magát kábítószerrel. Fizikailag és lelkileg is sikerült felépülnie a barátainak, elsősorban Neil Sloannak [38] .
Conway és harmadik felesége, Diana Catsougeorge [34] 1996-ban találkoztak először; akkor az egyetemi könyvesboltban dolgozott . 2001-ben összeházasodtak (néhány évvel később barátilag elváltak, később aktívan kommunikáltak [40] ), ugyanakkor született egy fiuk, Gareth [10] .
Conway rendszeresen tartott nyilvános előadásokat a matematikával kapcsolatos különféle témákban, és 1998 óta tanít középiskolai matematikatáborokban, mint például a Kanada/USA Mathcamp [41] [42] .
2004-ben Conway és Simon Coshen kanadai matematikus bebizonyította az úgynevezett szabad akarat tételt ; A publikáció elkészítése eltartott egy ideig, majd a tétel társszerzői több évig dolgozták ki az eredményt, és megvitatták a közösséggel [12] .
Conway 2013-ban vonult nyugdíjba emeritus professzorként [16] . A hivatalos nyugdíjba vonulása utáni első években szinte aktívabban dolgozott, mint korábban – konferenciákon felszólalt, új előadásokat publikált, és matematikai táborokban tanított iskolásoknak [12] [44] . 2018-ban súlyos agyvérzést szenvedett [45] . 2020. április 11-én New Brunswickben hunyt el , 82 éves korában a COVID-19 szövődményei következtében [39] .
Conwayt ismerő emberek szerint karizmatikus és barátságos volt, ugyanakkor jelentős önelégültséggel rendelkezett, amit ő maga is készségesen elismert [46] . Önmagáról beszélve gyakran ellentmondott saját és mások szavainak [11] . Elhanyagolta az élet mindennapi vonatkozásait, kivételes hanyagsággal kezelte a beérkezett leveleket és egyéb dokumentumokat [46] . Bár általában lazán viselkedett, egy matematikai probléma tanulmányozása során keményen, intenzíven és aprólékosan dolgozott [19] . A matematika volt Conway egyetlen érdeklődési köre, és mindenütt észrevette a matematikai vonatkozásokat – nemcsak a játékokban, hanem a látszólag hétköznapi tárgyakban is [36] . Fiatalkorától kezdve pacifista nézeteket vallott [13] , különböző politikai petíciókat írt alá [20] , bár aktívan nem vett részt a politikában. Szerető volt, nem hűséges feleségeihez, ez lett az egyik fontos ok, amiért elváltak tőle [19] . Ateista [47] .
John Horton Conway elmondta, hogy életében egy napot sem dolgozott, de mindig játszott [46] .
Conway hajlott arra, hogy a matematikai objektumok, köztük a csoportok tanulmányozását geometriai szempontból közelítse meg, vizuálisan elképzelve a hozzájuk kapcsolódó szimmetriákat [48] , és általában nagyra értékelte a matematikai elméletek világosságát és szépségét [36] . Emellett a szokatlan speciális eseteket részesítette előnyben az általános esetekkel szemben. Conway stílusának és hajlamainak ezek a vonásai egyértelműen megnyilvánultak a csoportelméletről szóló munkájában [48] .
Szórványos csoportokConway egyik legfontosabb eredménye a Leach-rács Co 0 automorfizmuscsoportjának vizsgálata . Megállapította, hogy ez a csoport a 8315553613086720000 -es nagyságrendű , és három új szórványos csoportot tartalmaz: Co 1 , Co 2 , Co 3 (egyszerűségüket először John Thompson mutatta meg; a Co 0 tartalmaz néhány más szórványos csoportot is, amelyeket nem sokkal korábban fedeztek fel [49] ): Co. Az 1 a Co 0 hányadoscsoport a középpontjához képest , melynek egyetlen nem triviális eleme a −1-gyel való szorzás, a Co 2 és Co 3 a Co 0 alcsoportjai , bizonyos rácsvektorok stabilizátorai . Ezeket a csoportokat összefoglalóan Conway-csoportoknak nevezik [50] [JHC 2] [JHC 3] .
Más szórványos csoportokat is feltárt. Különösen David Walesszel együtt ő volt az első, aki kifejlesztette a Rudvalis-csoport Ru [51] [JHC 4] építését . Különböző társszerzőkkel együtt leegyszerűsítette a más szerzők által épített vagy előre jelzett csoportok felépítését, például bemutatta a Fisher Fi 22 csoport felépítését egy három elemből álló mező 77 dimenziós ábrázolásán keresztül . [52] .
Szörnyű hülyeségKülönösen fontos Conway munkája a szörnyeteggel kapcsolatban, amelyet akkor végzett, amikor ennek a csoportnak a létezése még nem volt bizonyított, de tulajdonságairól már sokat tudtak.
John McKay és más szerzők számos megfigyelést tettek a szörny és néhány más csoport felépítéséről, valamint bizonyos numerikus egyezésekről, különösen arról, hogy a j - invariáns moduláris függvényének Fourier-kiterjesztésének együtthatóit egyszerű lineáris kombinációk reprezentálják. a szörnyábrázolások méreteiről. John Thompson azt javasolta, hogy vegyék figyelembe a hatványsorokat olyan együtthatókkal, amelyek a különféle elemeihez kiszámított szörnyreprezentációk karakterei . Conway és Simon Norton dolgozta ki ezeket a megfigyeléseket, szerkesztett ilyen függvényeket (McKay-Thompson sorozat), és megállapította, hogy hasonlóak a német néven ismert, speciális moduláris függvényekhez . Hauptmodul . Megfogalmazták azt a sejtést, hogy minden McKay-Thompson sorozat valóban megfelel egy bizonyos Hauptmodulnak , ami mély és titokzatos kapcsolatot feltételez a szórványos csoportok és a moduláris függvények között. Ezt a hipotézist szörnyű értelmetlenség hipotézisnek nevezik . szörnyű holdfény [53] [JHC 5] .
Conway és Norton sejtését Richard Borcherds bizonyította csúcsoperátor algebrák segítségével . Maga Conway és más szakértők azonban úgy vélték, hogy Borcherds munkája, bár formálisan igazolta a hipotézist, nem magyarázza meg. Az algebrai entitások, például csoportok és a moduláris függvényekhez kapcsolódó fogalmak között felfedezett kapcsolatokat ezt követően kifejlesztették és általánosították. Emellett kiderült, hogy ezek az összefüggések természetes módon is megfogalmazhatók a konformális térelméletek nyelvén . Ezeket a megfigyeléseket, hipotéziseket és tételeket együttesen egyszerűen "nonszensznek" nevezik - holdfény . Sok nyitott probléma és megválaszolatlan kérdés van még ezen a területen [53] [54] .
RácsokConway a véges csoportok mellett a rácsokat és a gömbcsomagolásokat , valamint a hibajavító kódok kapcsolódó témakörét is megvizsgálta [JHC 6] . Különösen új konstrukciót dolgozott ki ugyanarra a Leach-rácsra [55] . Conway és Neil Sloan a Sphere Packings, Lattices and Groups című könyvében publikálták eredményeiket és rengeteg háttérinformációt .
Orbifolds , polytopes és burkolólapokA rácsok pedig a krisztallográfiai csoportok és csempék témaköréhez kapcsolódnak .
Ezen a területen Conway fontos vívmánya a William Thurston által az euklideszi , gömbi és hiperbolikus terek periodikus szimmetriacsoportjainak tanulmányozására feltalált megközelítés népszerűsítése és továbbfejlesztése. Ez a megközelítés topológiai jellegű, és orbifoldokon alapul [38] . Az orbifold egy topologikus tér , amely egy bizonyos szerkezettel van felszerelve, amely egy adott véges csoport azon hatásához kapcsolódik. A kétdimenziós parabolikus orbifoldok (azok, amelyeknek Euler megfelelője nulla) közvetlenül megfelelnek a kétdimenziós krisztallográfiai csoportoknak [56] . Ez az alapja a Conway által kitalált és ezekre és más hasonló csoportokra széles körben használt orbifold jelölésnek [57] [JHC 7] . Az orbifoldokhoz szörnyű ostobaság is társul [58] .
A Conway-kritérium a sík csempézésénél ismert .
A gömb burkolásának témája közvetlenül kapcsolódik a poliéderekhez. Conway előállt egy jelöléssel a poliéderekre [59] – ez egy másik példa arra, hogy a nevek és jelölések kitalálása és újrafeltalálása iránti nagy szeretete [38] . Ezenkívül Conway és Michael Guy felsorolta mind a négydimenziós arkhimédeszi szilárd testet , és felfedezte a nagy antiprizmát – az egyetlen nem Withoff-féle homogén politóp [13] [16] [JHC 8] .
AtlasConway leginkább a véges csoportok atlaszát összeállító csapat vezetőjeként ismert. Ez egy hatalmas referenciakönyv, amely véges csoportokhoz (nem csak szórványos) karaktertáblázatokat tartalmaz, és amely értékes eszközzé vált a matematikusok számára, akik véges csoportokkal dolgoznak. - Internet korszak [30] . Az Atlasz ma online enciklopédiaként létezik, amelyet egy Robert Wilson által vezetett csapat [60] készített .
Conway hozzájárulása a kombinatorikus játékelmélethez az egyik leghíresebb eredménye [16] .
Conway sok játékot feltalált, köztük például a palántákat ( English Sprouts , Michael Patersonnal), a fatballt és a hackenbush -t . Richard Guy pedig kidolgozta a pártatlan játékok szisztematikus elméletét a Sprague-Grundy függvény alapján . Conway a játékok hozzáadásának ötletére alapozva egy elméletet tudott lefektetni a játékok szélesebb osztályára - elfogult játékok ( eng. partizan games ) - olyan játékok, amelyekben különböző lépések állnak rendelkezésre a különböző játékosok számára. ugyanaz a pozíció (például sakkban vagy go -ban minden játékos csak a saját színének megfelelő figurákat vagy köveket mozgathat). Guy, Conway és Alvin Berlekamp a Winning Ways for Your Mathematical Plays [19] [27] általános elméletét, számos konkrét játék eredményeit és különféle nyitott problémákat (például az Angyal és Ördög probléma ) ismerteti .
Az elfogult játékokat vizsgálva, beleértve a transzfinit játékokat is, Conway felfedezte, hogy az ilyen játékok pozícióinak leírásához új számosztályra van szükség, amely magában foglalja mind az egészeket, mind a valós számokat, valamint a sorszámokat (például és ), valamint más új számokat (például , és ), amelyek a Dedekind szakaszhoz hasonló konstrukcióval készültek . Ezeket a számokat szürreálisnak nevezzük . Conway részletezte az elfogult játékokkal és szürreális számokkal kapcsolatos kutatásának eredményeit az On Numbers And Games című könyvében . A Winning Ways és a Numbers And Games című könyvek együttesen megalapozták a kombinatorikus játékelméletet, mint szervezett és gyümölcsöző matematikai tudományágat [19] [27] .
A szürreális számok sokféleségükkel és természetességükkel sokakat vonzanak. A kombinatorikus játékelméleten kívül azonban gyakorlatilag nem találtak alkalmazást, bár bizonyos erőfeszítések történtek ez irányban. Így maga Conway (sikertelenül) megvitatta Godellel a szürreális számok felhasználásának lehetőségét a "végtelen kicsik helyes elméletének" megalkotására, Martin Kruskal pedig sok erőfeszítést fektetett a szürreális elemzés fejlesztésébe, annak reményében, hogy azt az elméleti fizikában is felhasználhatja [19]. [38] .
Hozzátesszük azt is, hogy Conway az egyik felfedezője a Selfridge -Conway algoritmusnak , amely egy tágabb terület - játékelmélethez tartozik [18] .
John Conway feltalálta az Életjátékot , a híres sejtautomatát. Egy négyzetekkel kirakott mezőn van meghatározva . A ( diszkrét ) idő minden pillanatában a mező minden celláját élőnek vagy halottnak tekintjük, és a következő időlépésben a cella állapotát a következő szabályok határozzák meg, attól függően, hogy a nyolc szomszédos cella milyen állapotban van az adott pillanatban. lépés [46] :
A "Life" játék nem a szokásos értelemben vett játék, nincsenek benne versengő játékosok, a "játék" csupán a sejtek kezdeti konfigurációjának kiválasztásából és fejlődésük megfigyeléséből áll [46] .
Conway úgy választotta meg a "Life" játékszabályokat, hogy még néhány sejt kezdeti konfigurációja is gyakran teljesen kiszámíthatatlanul alakul ki. Mint később kiderült, a "Life" játék területén fix , stabilan mozgó , stabilan szorzó konfigurációk, tetszőleges számítások megvalósítását lehetővé tevő logikai kapuk ( Turing-teljesség ), és sok más nem triviális konstrukció is megtalálható. . A "Life" játéknak számos változata és általánosítása lehetséges [61] .
Az Életjáték megjelenése a sejtautomaták iránti érdeklődés hatalmas növekedéséhez vezetett [46] . Az olyan sejtautomaták, mint az Életjáték, a természetes folyamatok modellezésére szolgáló eszközzé [62] [63] , a gyönyörű képek előállításának módszerévé [64] és népszerű programozási gyakorlattá [65] váltak .
A „Life” játék körül azonnal lelkes kutatók közössége alakult ki [24] . Egy ilyen közösség ma is létezik, amely a ConwayLife.com oldalon oszt meg információkat az új felfedezésekről [66] .
A Conway közvetlen környezetében feltalált, kissé eltérő típusú sejtautomaták közül a Paterson-férgeket is meg lehet említeni [67] .
Conway feltalálta a FRACTRAN Turing-teljes ezoterikus programozási nyelvet . Egy program ezen a nyelven közönséges törtek és egy kezdő egész rendezett halmaza . A program futtatásához a megadott egész számot meg kell szorozni a halmaz első ilyen törtével, így az eredmény ismét egész szám lesz (ezáltal a kapott egész számok sorozatot alkotnak), ameddig ez lehetséges [JHC 9] . Tehát Conway programot ad prímszámok generálására :
A 2-es kezdőszám mellett a program végrehajtásából adódó sorozatban időről időre megjelennek a kettő más hatványai, és ezeknek a hatványoknak a kitevői pontosan prímsorozatot alkotnak [23] .
FRACTRAN segítségével kimutatta, hogy a Collatz-sejtés egyes analógjai eldönthetetlenek [68] [JHC 10] .
A Conway által is tanulmányozott rácsok témaköréhez közvetlenül kapcsolódó integrált másodfokú formák . Róluk William Schneeberger tanítványával együtt olyan kijelentéseket fogalmazott meg, amelyek szerint:
Ezek az állítások rokonok Lagrange négynégyzetösszeg-tételével (mint Conway sikertelen első disszertációja ). Conway és Schneeberger bebizonyította az első állítást, de a bizonyítás összetett volt, és csak vázlatként tették közzé Schneeberger disszertációjában. Ezt követően Manjul Bhargava leegyszerűsítette az első tétel bizonyítását, általánosította és J. Hanke-val [69] [JHC 11] bebizonyította a második tételt .
Conway nagyon nagy számok nyíljelölésével állt elő [16] .
Elemezte a „Nézd és mondd” sorozatot is: összeállított egy táblázatot a sorozat tagjainak külön-külön fejlődő „elemeiről”, és kapott egy univerzális tényezőt, amellyel a sorozat egy tagjának hossza átlagosan növekszik, függetlenül attól, hogy a kezdeti számjegysorozat. Ezt a tényezőt Conway-állandónak nevezik, és a 71. hatvány algebrai száma [15] [JHC 12] .
Thomas Kirkman ötleteit kidolgozva Conway kidolgozott egy csomók és linkek jelölését, amely bizonyos gubancok beillesztésén alapul néhány 4 szabályos síkgráf csúcsaiba . Ez lehetővé tette számára, hogy gyorsan és egyszerűen reprodukálja a meglévő csomótáblákat kis számú metszésponttal , és kijavítsa a legtöbb hibát ezekben a táblázatokban [70] [71] [JHC 13] .
Emellett kidolgozta az Alexander -polinom saját változatát – a polinomiális csomóinvariánst –, és felhívta a figyelmet a gombolyag-relációk fontosságára , amelyek aztán a polinomiális csomóinvariánsok általános és kényelmes definíciójává váltak [72] .
Simon Coshennel együtt Conway bebizonyította a szabad akarat tételét . A tétel a kvantumelmélet több alapvető posztulátumán alapul. A tétel szerint, ha a kísérletezőknek van szabad akarata, akkor az elemi részecskéknek is. A szándékosan provokatív „ szabad akarat ” kifejezés olyan spontán viselkedésre utal, amely alapvetően nem előre meghatározott. Ezzel a tétel elveti a rejtett változó elméleteket és a determinizmust . Sok fizikus úgy vélte, hogy a tétel lényegében nem adott hozzá semmi újat, de a filozófiában észrevehető vitát váltott ki [73] [74] [JHC 14] .
Conway jelentős időt töltött olyan tanulmányokkal, amelyeket sokan erőfeszítések pazarlásnak tartanak [46] . Talán a legtipikusabb példa az általa kitalált világvége algoritmus , amely egy adott dátumra a hét napjának meghatározására szolgál. Conway sok időt töltött mind az algoritmus egyszerűsítésével, mind a használatában való készségeinek képzésével [30] [73] . Érdekelték olyan jól tanulmányozott területek is, amelyeken nehéz új eredményt kapni, mint például a háromszög geometriája – ezért leegyszerűsítette Morley tételének bizonyítását [38] . Nem zárkózott el a rejtvényektől – Conway rejtvénye ismert . A különféle numerikus sorozatok tanulmányozása is gyakran közelebb áll a szórakoztató matematikához, mint a reáltudományhoz – bár például a Collatz-sejtésben szereplő sorozatokra vonatkozó eredmények valóban nem triviálisak és általános érdeklődésre számot tartóak, ez aligha mondható el. olyan jól ismert szekvenciákról, mint a Conway által tanulmányozott RATS és a másodlagos Fibonacci [75] . Conway érdeklődési köre kiterjedt olyan témákra, mint a héber naptár és a szokatlan angol szavak etimológiája . Conway munkájában gyakran lehetetlen különbséget tenni a mély tudományos munka és a komolytalan szórakozás között [76] . E tekintetben néhány fentebb említett ismert művének státusza is meglehetősen zavaros (ez annak is köszönhető, hogy ő maga nem törődött ezzel a kérdéssel): a kombinatorikus játékelméletet kezdetben elsősorban szórakoztatásként fogták fel, és csak az idő múlásával egyre nagyobb státuszba került [27] , és a sejtautomatákat a tudományos közösség jelentős része mindig is a szórakoztató matematika területeként fogta fel, mély elméleti jelentősége nélkül [77] .
Több mint két tucat végzős hallgató szerzett PhD fokozatot Conway felügyelete alatt, köztük a Fields jövőbeli díjazottja , Richard Borcherds [78] .
2015-ben megjelent Conway életrajza - Siobhan Roberts könyve "Genius at Play: The Curious Mind of John Horton Conway" ( Roberts, 2015 ) [25] [86] .
Conway bibliográfiája mintegy 100 cikket tartalmaz tudományos folyóiratokban, több tucat cikket népszerű tudományos kiadványokban és konferencia-kiadványokban, valamint 9 könyvet. A tudományos matematikai folyóiratokban megjelent publikációk listája minden időkben, valamint az 1970-es évek eleje óta minden tudományos folyóiratban megjelent publikációk listája elérhető a zbMATH és a Scopus adatbázisban . Az 1999-ig terjedő publikációk teljes listája elérhető a Princeton Egyetem honlapján [87] . Válogatott bibliográfia: Roberts, 2015 .
![]() | ||||
---|---|---|---|---|
Szótárak és enciklopédiák | ||||
Genealógia és nekropolisz | ||||
|
Conway Game of Life és más sejtautomaták | |||||
---|---|---|---|---|---|
Konfigurációs osztályok | |||||
Konfigurációk |
| ||||
Feltételek | |||||
Más űrhajók kétdimenziós rácson |
| ||||
Egydimenziós űrhajó | |||||
Szoftverek és algoritmusok |
| ||||
KA kutatók |