Original: http://cs.sjsu.edu/~beeson/family/bio.html
Я народився в м.Топіка, штат Канзас, 19 серпня 1945 року, через пару тижнів після того, як бомба впала на Хіросіму. Я виріс в м.Топіка, Додж-Сіті і Вічіта, і закінчив середню школу в 1963 році. Я провів чотири роки в Каліфорнійському технологічному інституті, де я вивчав математику і фізику, який закінчив в 1967 р. На старших курсах я піддавався математичній логіці і вирішив, що це буде моя тема. Я пам’ятаю Річарда Фейнмана, який проводив курс лекцій з квантової електродинаміки, і який разом за усіма харчувався в студентській їдальні по п’ятницях, і хто cheap jerseys China давав нам корисні поради з усіх предметів, наприклад : “Слухай, хлопче. Ти знаєш всі ці жарти в журналах про подружні пари? Це не жарти! Вони всі правда”.
Потім я вступив до аспірантури в Стенфорді, щоб вивчати логіку від Дана Скотта. Коли я приїхав, я пішов до Дана і попросив зробити незалежне дослідження з ним. “Добре,” сказав він, “продумай всі проблеми на уроці в математичної логіки Shoenfield “. Вони заповнили чотири записні книжки. (Проте, після мого першого року там, Дана вирушив в Оксфорд, і я в кінці кінців отримав свій кандидата наук під керівництвом Фрідмана і Крайзель як спільних радників, з великою кількістю неофіційною консультації від Сол Феферман). Стенфорд був дуже стимулюючим оточенням. Там я дізнався, математичну логіку від Дана Скотт, Сол Феферман, Георг Крайзель, і Харві Фрідман, штучного інтелекту від Джона Маккарті, мінімальних поверхонь від Боба Оссермана і Боба Фінна, теорії чисел від Пола Коена і диференціальні рівняня з професорами Шиффер і Гілбаргом. Я придбав золотистого ретривера, якого я назвав Сократ, тому що я проходив курс з грецької філософії в той час. Мати Сократа їздила на мотоциклі до роботи зі своїм хазяїном випускником навчального закладу. Зрештою я написав дисертацію Метаматематичні конструктивні теорії ефективних операцій, які поклали початок мого дослідження в логіці.
У 1974 році я переїхав в Остін, штат Техас, щоб провести рік в Університеті штату Техас. Протягом цього року я дізнався про тоді нові формальні системи Феферман для точної математики і почав робити нові дослідження в логіці. У 1975-76 я приїхав в Стенфорд протягом року як запрошений помічник професора. Навесні 1976 року я вивчав гру на ситар в коледжі Алі Акбар Хан, а восени я переїхав в Амстердам на рік в Університет Амстердама. Я ніколи не був східніше від Міссісіпі до того. В Амстердамі у мене була квартира на четвертому поверсі на Beethovenstraat, в декількох хвилинах ходьби від всесвітньо відомого Concertgebouw, де класичні концерти проходять майже щоночі. Я вивчав ситар в Амстердамі з індійським музикантом-виконавцем, Бхарти. Щоранку о 8 годині я повинен був практикувати годину в своїй вітальні, в той час як він все ще спав. Якщо я не попадав в ноті, він прокидався і кричав на мене, то ж моєю метою в ті часи було грати досить добре, що він спав до дев’яти.
Влітку 1977 Health роки я провів місяць в Німеччині з дослідженням мінімальних поверхонь. Бонн є центром математики в літній час, і дуже приємне місце, з човнами на Рейні, кафе під відкритим небом, а також конференціями. Я зустрів свою майбутню дружину в поїзді до Італії, але ми не зустрічалися протягом декількох років. Потім я вирушив до Індії, де я відвідав два гуру, дав математичну лекцію в Kurukshetra університеті, і залишився з директором музичної бібліотеки університету Бомбеї, який обіцяв дати мені доступ до стрічок які були не доступні на Заході. Я провів осінь 1977 року в Берклі, штат Каліфорнія, в будинку мого друга Марвін Джей Грінберг, чию гостинність я завжди буду пам’ятати.
Навесні 1978 року я опинився в Німеччині де працював над мінімальних поверхнями в університеті Бонна. Я пробув там п’ятнадцять місяців, а потім обійняв посаду в Університеті Утрехта в Нідерландах. На цей час ми були разом з моєю майбутньою дружиною, і з тих пір вона жила в Голландії, пропозиція з Утрехта була привабливою. Вона була (і є) вчитель початкової школи, але вона повернулася в університет на здобуття наукового ступеня з психології. Я зумів залишитися в Нідерландах, отримавши одну тимчасову позицію за іншою, поки вона не закінчила. Я також провів місяць в Турині, Італія, в Університеті Туріну, який був чудовий зі своїми старими книгами. Я любив Італію, з її ентузіазмом концертних аудиторій, складними стравами, пізніми годинами, сієстою, і густим гарячим шоколадом. Коли я відїзжав там була велика вечірка в ресторані, і якщо б мій поїзд не відправився, вони б відправили мене вниз по річці, щоб навчити мене італійські пісні.
22 липня 1980 року я одружився на Ксені Нійланд, яка є моїм вірним супутником досі, і в травні 1981 року народилася наша дочка Аманда. Коли їй було два місяці, ми полетіли до Сполучених Штатів. Вона дрімала на обідньому столику в літаку. Ми приземлилися в Лос-Анджелесі, я купив машину у моєї тітки, і ми поїхали в Сан-Хосе з усіма нашими речами які висіли зовні Toyota. У серпні 1981 року я почав викладати інформатику в університеті Сан-Хосе, не знаючи, де wholesale nfl jerseys знайти перемикачі на персональному cheap nfl jerseys комп’ютері (IBM представила комп’ютер в цьому році) Ми оселилися в Фелтон, де я з усіх сил намагався закінчити писати свою книгу Основи конструктивної математики, яку я безуспішно намагався закінчити, перш ніж покинути Голландію. Тепер, коли у мене була дитина, і більше, ніж повний робочий день (це було необхідно, щоб звести кінці з кінцями на мою мізерну зарплату), мені потрібно було багато ночей, коли я засиджувався до 2 години ночі, щоб закінчити 8.10 цю книгу, і в 1985 вона була вперше опублікована.
У 1984 році ми купили наш нинішній будинок недалеко від Санта Круз. Через тиждень після того, як ми переїхали, народилася наша друга дочка Хелен. Вона жила в тому ж будинку все своє життя, поки вона не вступила до коледжу. Життя cheap jerseys в тому ж місці протягом the більше двадцяти років було приємною зміною для мене, так як я жив, принаймні в 35 різних місцях з моменту закінчення коледжу. З тих пір я спокійно викладав класи, продовжував свої дослідження в галузі теоретичної інформатики та в автоматизованій дедукції, розробив свою ПО MathXpert, грав на піаніно, і спостерігав, як мої діти ростуть.
MathXpert перетворилася в 165000 лінійну C программу, на яку було використано 7 років за дванадцятирічний період 1985-1997. MathXpert був опублікований в 1997 році, і після цього я звернувся до автоматизованої дедукції. Я завжди був зацікавлений у зв’язках між логікою і обчисленнями – MathXpert підійшов до цього питання з обчислювального боку, і робив логічно правильні обчислення. Я хотів підійти до питання з логічної сторони, написання програм, які могли б знайти докази за допомогою обчислень. У 2002 році Національний науковий фонд погодився фінансувати моє дослідження, і протягом чотирьох років я працював над новим алгоритмом “лямбда-об’єднання”, що відповідає теорії лямбда-логіки і реалізації алгоритму в існуючій теоремі-випробувача Оттер. Ви можете прочитати про цей проект на домашній сторінці Оттер-лямбда.
У 2000 році я був у відпустці від викладання протягом всього календарного року, і за цей час я написав кілька статей. Влітку 2001 року я був присутній на конференції в Італії і тритижневий конференцію з мінімальних поверхонь в математичних науках в науково-дослідному інституті в wholesale mlb jerseys Берклі, штат Каліфорнія, і написав статтю про мінімальні поверхні, завершуючи проблему, яку я не зміг повністю вирішити двадцять років тому. Я перевіряв цей проект, і заповнював його більш докладною інформацією, протягом чотирьох років. Доказ довжиною в 67 сторінок. Він розміщений на моєму сайті, якщо ви хочете мені допомогти – перевірте його. Я думаю, що це правильно, і я маю намір представити його для публікації.
У 2004 році я знову набул права на MathXpert, які належали іншим, які заплатили мені гонорар. Тепер він продається через мій сайт на www.HelpWithMath.com.
Моя дружина, Ксенні, викладала в Санта-Крус в школі Монтессорі в той час як наші діти були учнями там, але з тих пір вона викладає в державних початкових школах. Вона викладала в третіх і четвертих класах, а потім працювала як математичний “координатор” протягом року, і “мовний координатор”, а в 2006-2007 роках вона була координатором з науки і мистецтва. Ці позиції означають, що вона мала класи, але не мала MX-Fotograf власного. Вона викладає науку і мистецтво для студентів з усіх класів, а також надає допомогу іншим викладачам у підготовці та оцінці. Вона любить грати на флейті і гітарі (не в одночас, звичайно), слідкує за нашими квітами і городами, читає книги і дивиться багато відео про природу.
Моя дочка Аманда вступила до як першокурсник восени 1999 року. Ми відвідали її в Штутгарті, Німеччина, влітку 2001 року, де вона працювала влітку в лабораторії гідрогазодинаміки Bosch. Вона закінчила Массачусетський технологічний інститут (як бакалавр наук в області математики і комп’ютерних наук) в червні 2003 року, і її горді батьки були присутні. Восени 2003 року вона переїхала в Ла-Хойя і стала аспірантом в області математики в Університеті Каліфорнії, Сан-Дієго. Вона зацікавлена теорією чисел; вона тепер збирається написати дисертацію під керівництвом доктора Гарольда Старка. У вільний час вона займається серфінгом і фотографує.
Моя дочка Хелен закінчила середню школу в травні 2002 р. Вона закінчила в 2007 році Університеті Каліфорнії, Берклі, за фахом в області біології. Літо 2004 вона провела працюючи в лабораторії біології в Берклі, потім неповний робочий день протягом осіннього семестру 2004. Весняний семестр 2005 вона вивчала іспанську мову в Університеті Гуанахуато, Мексика. Вона повернулася в Каліфорнійський університет в Берклі восени, де вона працювала в лабораторії ентомології. Вона провела літо 2006 у біологічній лабораторії Скелястих гір, на висоті 10000 футів в Скелястих горах, а восени 2006 року приступила до її старшого року в якості студента біології Каліфорнійського університету. У вільний час вона малює картини, фотографує, робить горщики, займається серфінгом, ходить у походи, і зістрибує з високих скель в озера, річки і океани.
