Michael Beeson, biografická studie

Original: http://cs.sjsu.edu/~beeson/family/bio.html

Narodil jsem se v Topeka, Kansas, 19. srpna 1945, pár týdnů poté, co spadla bomba na Hirošimu. Vyrostl jsem v Topeka, Dodge City, a Wichita, a absolvoval Topeka střední školy v roce 1963 jsem strávil čtyři roky v Caltech, kde jsem studoval jak matematiku a fyziku, absolvoval v roce 1967. V mém ročníku jsem byl vystaven na matematické logiky , a rozhodl, že by byla moje téma. Vzpomínám si, Richard Feynman, od kterého jsem vzal přednáškový kurz kvantové elektrodynamiky, ale kdo by také jíst ve studentské kavárně s námi mnohé v pátek odpoledne, a který nám dal poradenství ve všech předmětech, například:. „Poslouchej, synu You Znáte ty vtipy v časopisech o manželské páry? To nejsou žerty! Jsou to všechno pravda. “

Pak jsem šel na postgraduální studium na Stanfordu ke studiu logiky pod Dana Scott. Když jsem přišel, šel jsem se podívat, Dana a žádal, aby dělat nezávislou studii s ním. „Fajn,“ řekl, „jít pracovat všechny problémy v Shoenfield v matematické logiky“. Naplnili čtyři notebooky. (Nicméně, po mém tam první rok, Dana odešel do Oxfordu, a nakonec jsem dostal Ph. D. za Friedmana a Kreisel jako společné poradci, se spoustou neoficiální radu Sol Feferman.) Stanford byl velmi podnětné prostředí. Tam jsem se dozvěděl, matematickou logiku od Dana Scott, Sol Feferman, Georg Kreisel, a Harvey Friedman, umělé inteligence od Johna McCarthyho, minimální plochy od Boba Osserman a Bob Finn, teorie čísel od Paul Cohen a diferenciálních rovnic z profesorů Schiffer a Gilbarg. Získal jsem zlatý retriever, kterého jsem jmenoval Sokrata, protože jsem se účasti na kurzu v řecké filosofii v té době. Socratesův matka jezdit na motorce s ní pracovat absolvent-student mistra. Nakonec jsem napsal diplomovou práci na metamathematics konstruktivní teorie efektivních operací, které znamenalo začátek mého výzkumu v logice.

V roce 1971 jsem prošel můj Ph. D. ústní zkoušky, při které mi Paul Cohen požádáni uvést Ergodická větu a nakreslete důkaz, že funkce monotonní je spojitá téměř všude. Pak jsem se učil na University of California v Santa Cruz na dva roky, během nichž jsem pracoval s Michaelem Kahna, Bob Edgar, a Matt Sands založit Kresge College (UCSC je organizována do škol a rad studia). V tomto období jsem napsal dva dokumenty, které obsahují mé výsledky disertační práce a třetina na stejné téma, řešení Souvisejícím problémem zůstávají otevřené v mé práci.

V roce 1974 jsem se přestěhoval do Austinu v Texasu, strávit rok na University of Texas. Během tohoto roku jsem se dozvěděl o tehdy nové formálních systémů Feferman pro explicitní matematiky a začal dělat nový výzkum v logice. V 1975-1976 jsem přišel na Stanford za rok jako hostující docent. Na jaře roku 1976 jsem studoval sitar na Ali Akbar Khan vysoké škole, a na podzim jsem se přestěhoval do Amsterdamu za rok na univerzitě v Amsterdamu. Nikdy jsem nebyl na východ od Mississippi předtím. V Amsterdamu jsem měl ve čtvrtém patře byt v Beethovenstraat, v docházkové vzdálenosti od světoznámého Concertgebouw, kde klasické koncerty konají téměř každý večer. Studoval jsem sitar v Amsterdamu s indickým koncertní hudebník, Bhartiya. Každé ráno v 8 hodin ráno jsem musel cvičit hodinu ve svém obývacím pokoji, zatímco on ještě spal. Když jsem hrál falešně, on by se probudit a řvát na mě, takže moje ambice v té době bylo hrát dost dobře na to, že by se spát až do devíti.

V létě roku 1977 jsem strávil měsíc v Německu dělá výzkum na minimální plochy. Bonn je centrem matematiky v létě, a to velmi příjemný člověk, s lodí na Rýně, venkovních kaváren a konferencí. Potkal jsem svou budoucí ženu ve vlaku v Itálii, ale my jsme neměli setkat opět na pár let. Pak jsem cestoval do Indie, kde jsem navštívil dva guru, dal matematiky přednášku na Kurukshetra univerzitě, a zůstal s ředitelem Bombay univerzity hudební knihovny, který slíbil, že mi přístup k pásky jste nemohli slyšet na Západě. Smluvně I úplavici dokončit svůj indické zkušenosti. Strávil jsem pád 1977 v Berkeley v Kalifornii, v domě svého přítele Marvin Jay Greenberg, jehož pohostinnost budu vždy pamatovat.

Jaro 1978 mě našel v Německu pracovat na minimální plochy na univerzitě v Bonnu. Zůstal jsem tam patnáct měsíc a pak zaujal pozici na univerzitě v Utrechtu v Nizozemsku. Do této doby jsem se spojil se svou budoucí ženou, a od té doby žila v Holandsku, nabídka z Utrechtu byl atraktivní. Byla (a je), učitelka na základní škole, ale ona se vrátil na univerzitu pro psychologie stupeň. Podařilo se mi zůstat v Nizozemsku, získat jeden dočasný pozici za druhou, až do absolvovala. Také jsem strávil měsíc v italském Turíně, na univerzitě v Turíně, který byl nádherný pro své staré knihy. Miloval jsem Itálii, se svými nadšenými koncertní publikum, propracované jídla, v pozdních hodinách, siesty, a husté horké čokolády. Když jsem odešel, že byl velký odesílání-off párty v restauraci, a když můj vlak nebyl na odchodu, by vzali mě dole u řeky, aby mě naučí italské písně.

22. července 1980 jsem se oženil s Henny Nijland, kdo byl můj věrný společník od té doby, a že v květnu 1981 naše dcera Amanda se narodila. Když jí bylo dva měsíce, jsme letěli do Spojených států. Ona zdřímla na letecké společnosti pultíku. Přistáli jsme v Los Angeles, koupil si auto od tety, a odjel do San Jose se všemi našimi věcmi ve nebo visící na vnější straně, že Toyota. V srpnu 1981 jsem začal vyučovat informatiku na San Jose State University, aniž by věděl, kde najít na switch osobního počítače (IBM představila počítač v tomto roce). Dohodli jsme se na Felton, kde jsem se snažil dopsat my kniha, Základy konstruktivní matematiky [24], který jsem se snažil neúspěšně dokončit před odjezdem Holland. Teď, když jsem měl dítě, a více než na plný úvazek (bylo nutné učit na částečný úvazek na UCSC vyjít s penězi na mé skromné ​​platu), trvalo spoustu 2 hod noci dokončit tu knihu, a to bylo 1985 před tím, než byla publikována.

V roce 1984 jsme zakoupili náš současný dům poblíž Santa Cruz. Týden poté, co jsme se nastěhovali, naše druhá dcera Helena se narodila. Žila ve stejném domě celý svůj život, dokud se šla na vysokou školu. Život v jednom místě více než dvacet let byla příjemná změna pro mě, protože jsem žil v nejméně 35 různých místech od absolvování vysoké školy. Od té doby jsem se v tichosti vyučoval třídy, pokračovat ve svém výzkumu v teoretické informatiky a automatizovaným odpočet, vyvinul svůj software MathXpert, hrála na klavír, a sledoval, jak mé děti rostou.

MathXpert se obrátil do programu 165000 linky C a spotřebováno asi sedm muž let přes dvanáct let 1985-1997. MathXpert byla zveřejněna v roce 1997, a poté, co jsem se obrátil na automatizované odpočet. Vždy jsem se zajímal o propojení mezi logikou a výpočtů – MathXpert přiblížil tuto otázku ze výpočetní strany, dělá logicky správné výpočty. Chtěl jsem se k němu přistupovat z logického strany, psát programy, které by mohly najít důkazy pomocí výpočtů. V roce 2002 souhlasil NSF financovat svůj výzkum, a po dobu čtyř let jsem pracoval na novém algoritmu pro „lambda-sjednocení“, související teorie Lambda Logic a implementaci algoritmu ve stávajícím věta-prover Otter. Můžete si přečíst o tom projektu, na domovské stránce Otter, lambda.

V roce 2000 jsem byl na dovolené z vyučování na celý kalendářní rok, a za tu dobu jsem psal několik papírů. V létě roku 2001 jsem se zúčastnil konference v Itálii a třítýdenní konferenci o minimálních plochách na matematické vědy Research Institute v Berkeley v Kalifornii, a napsal knihu o minimálních plochách, dokončení problém jsem nebyl schopen vyřešit zcela dvacet roky předtím. Byl jsem kontrolu tento dokument, tu a tam, a vyplnění více informací, na čtyři roky. Důkazem je 67 stran dlouho. Je to zveřejněny na mých webových stránkách, pokud chcete, aby mi pomohl ji zkontrolovat. Myslím, že je to správné a já se chystám ji odeslat ke zveřejnění.

V roce 2004 jsem znovu získal práva k MathXpert, který byl ve vlastnictví ostatních, kteří mi zaplatili hodnost. Teď je to prodávají prostřednictvím svých webových stránkách na www.HelpWithMath.com.

Moje žena, Henny, učil v Santa Cruz Montessori školy, zatímco naše děti byli studenti tam, ale od té doby vyučuje ve veřejných základních školách. Učila čtvrté a třetí stupně, a pak sloužil jako „matematiky zprostředkovatel“, za rok, pak „jazykových umění prostředníka“, a v letech 2006-2007 ona je „věda a umění facilitátor“. Tyto pozice znamená, že má ve třídě svůj vlastní, ale ne třída sama. Vyučuje vědu a umění, aby studenti ze všech tříd, a pomáhá ostatním učitelům při přípravě a hodnocení. Ráda hraje na flétnu a kytaru (ne ve stejnou dobu, samozřejmě), udržuje naše květinové a zeleninové zahrady prosperující, čte knihy, a sleduje mnoho naučných videí.

Moje dcera Amanda vstoupil Ministerstvo průmyslu a obchodu jako nováček na podzim roku 1999. Navštívili jsme ji v německém Stuttgartu, v létě roku 2001, kde měla brigádu na dynamiku tekutin laboratoři Bosch. Vystudovala MIT (s BS v matematice s výpočetní techniky) v červnu 2003, se svými hrdými rodiči v účasti. Na podzim 2003 se přestěhovala do La Jolla a stal se studentem matematiky na University of California v San Diegu. Její zájem je v teorii čísel; ona je nyní asi napsat diplomovou práci pod Dr. Harold Stark. Ve svém volném čase se surfuje a fotografuje.

Moje dcera Helen vystudoval vysokou školu v květnu 2002. Ona je ve třídě 2007 na University of California, Berkeley, kde je obor biologie. Strávila léto 2004 pracoval v laboratoři biologie v Berkeley a pracoval tam na částečný úvazek v průběhu podzimního semestru 2004 strávila letní semestr 2005 studuje španělštinu na univerzitě v Guanajuato, Mexiko. Ona se vrátila k UC Berkeley na podzim, kde pracovala v entomologie laboratoři. Strávila léto 2006 v Rocky Mountain biologické laboratoře, 10000 ft vysoko v Rocky Mountains, a na podzim roku 2006 vydala na svém ročníku jako UC student biologie. Ve svém volném čase maluje obrazy, fotografuje, vrhá hrnce, surfuje, jde kempování, a skočí z vysokých útesů do jezer, řek a oceánů.

Comments are closed.