Johna Trussa

Johna Trussa
Urodzić się	kwiecień 1947 (wiek 75)
Alma Mater	King’s College, Cambridge University of Leeds
Dzieci	4; w tym Liz Truss
Kariera naukowa
Pola	Czysta matematyka
Instytucje	Paisley College of Technology University of Leeds

John Kenneth Truss (ur. w kwietniu 1947 r.) jest matematykiem i emerytowanym profesorem matematyki czystej na Uniwersytecie w Leeds, gdzie specjalizuje się w logice matematycznej; nieskończone grupy permutacji ; struktury jednorodne i teoria modeli. Truss rozpoczął swoją karierę jako młodszy pracownik naukowy na Uniwersytecie Oksfordzkim , zanim objął szereg stanowisk akademickich i ostatecznie dołączył do Uniwersytetu w Leeds. Jest autorem książek o matematyce dyskretnej (1991) i analizie matematycznej (1997) oraz był współredaktorem naczelnym Journal of the London Mathematical Society do czerwca 2003. Jest ojcem byłej premier Wielkiej Brytanii Liz Truss .

Wczesne życie i rodzina

John Truss urodził się w kwietniu 1947 r. Ukończył King's College w Cambridge w 1968 r. I uzyskał doktorat na Uniwersytecie w Leeds w 1973 r. Za rozprawę zatytułowaną „Niektóre wyniki dotyczące liczb kardynalnych bez aksjomatu wyboru”, którą nadzorował Frank Drake . W 1969 roku ożenił się z Priscillą Mary Grasby, pielęgniarką, którą poznał, gdy byli studentami w Cambridge. Razem mają córkę Liz Truss i trzech synów. Liz Truss określiła politykę swoich rodziców jako „na lewo od Partii Pracy ”. Truss i jego żona byli zarówno zwolennikami Kampania na rzecz rozbrojenia nuklearnego . Rozwiedli się w 2003 roku.

Kariera

Pierwszą pozycją akademicką Trussa był młodszy pracownik naukowy w Instytucie Matematycznym Uniwersytetu Oksfordzkiego. Następnie uczył w szkole w Kidderminster , Worcestershire, a następnie wykładał w Paisley College of Technology od 1979 do 1985. W 1987 pracował na Uniwersytecie Simona Frasera w Kolumbii Brytyjskiej w Kanadzie, a później na Uniwersytecie w Leeds, gdzie w 1988 wraz z Frankiem Drake redagował zebrane artykuły z Logic Colloquium '86, które odbyło się na Uniwersytecie w Hull w 1986 roku.

W 1990 roku Peter Cameron złożył hołd Trussowi w swoich notatkach na temat oligomorficznych grup permutacyjnych w serii notatek z wykładów London Mathematical Society nr 152, za uratowanie go przed „postawieniem kilku pochopnych przypuszczeń (poprzez ich obalenie)” oraz „zwłaszcza” za jego wkład w pytanie, jakie są możliwe struktury cykliczne automorfizmów M ? W 1991 roku Truss opublikował Matematykę dyskretną dla informatyków , którą John Bayliss opisał w The Mathematical Gazette jako „mistrzowski i dokładny” i „szybko docierający do sedna niektórych bardzo ekscytujących tematów”, ale czuł, że jest to bardziej książka matematyka niż książka dla informatyków, jak twierdzi autor. Niemniej jednak Bayliss uważał, że podejście przyjęte przez Trussa do organizowania i przedstawiania jego materiału było bardzo skuteczne w kondensowaniu różnych wątków matematyki, tak że autor wykazał, że „matematyka dyskretna dojrzała i nie jest już zbiorem odmiennych tematów”.

W 1999 roku Truss i S. Barry Cooper , również z University of Leeds, wspólnie zredagowali dwa tomy artykułów z serii notatek z wykładów London Mathematical Society, powstałych z europejskiego spotkania Association for Symbolic Logic w Leeds w lipcu 1997 roku na temat zbiorów i dowody i modele oraz obliczalność. Tomy zostały powitane przez filozofa Grahama Priesta z University of Queensland który zauważył, że koncentrowali się na logice praktykowanej na wydziałach matematyki z niewielką ilością treści o charakterze filozoficznym lub informatycznym, ale być może w rezultacie byli bardziej spójni niż zwykle w przypadku zbiorów referatów konferencyjnych. Do tego czasu Truss i Jonathan Partington byli współredaktorami Journal of the London Mathematical Society . Ich następcami zostali 6 czerwca 2003 r. Francis Burstall i John Toland .

Multicolored Random Graphs: Constructions and Symmetry Sama Tarziego , przygotowanym z Peterem Cameronem, szeroko wykorzystano badania Trussa, zauważając, że Truss udowodnił, że policzalne uniwersalne grafy z kolorowymi krawędziami mają proste grupy automorfizmów. Podsumowanie pracy Trussa w tej dziedzinie zostało zawarte jako dodatek A(8) do pracy Tarzi.

Wybrane publikacje

Książki

•   Kratownica, JK (1991). Matematyka dyskretna dla informatyków . Addison-Wesley. ISBN 978-0-201-17564-6 .
•   Kratownica, JK (1997). Podstawy analizy matematycznej . Prasa Clarendona . ISBN 978-0-19-853375-7 .

Edytowane tomy

•   Drake, Frank Robert; Kratownica, JK, wyd. (1988). Logic Colloquium '86: Proceedings of the Colloquium, które odbyło się w Hull, Wielka Brytania 13-19 lipca 1986 . Wydawnictwo Północnej Holandii . ISBN 978-0-444-70326-2 .
•   Cooper, S. Barry ; Kratownica, JK, wyd. (1999). Zestawy i dowody: zaproszone referaty z Logic Colloquium '97, Europejskie Spotkanie Stowarzyszenia Logiki Symbolicznej, Leeds, lipiec 1997 . Wydawnictwo Uniwersytetu Cambridge . doi : 10.1017/CBO9781107325944 . ISBN 978-1-139-88244-6 .
•   Cooper, S. Barry; Kratownica, John K., wyd. (1999). Modele i obliczalność . Seria notatek z wykładów London Mathematical Society. Cambridge: Cambridge University Press. doi : 10.1017/cbo9780511565670 . ISBN 978-0-521-63550-9 .

artykuły prasowe

•    Kratownica, JK (wrzesień 1985). „Grupa przeliczalnego wykresu uniwersalnego”. Mathematical Proceedings of Cambridge Philosophical Society . 98 (2): 213–245. Bibcode : 1985MPCPS..98..213T . doi : 10.1017/S0305004100063428 . ISSN 1469-8064 . S2CID 122772888 .
• Kratownica, JK (luty 1989). „Nieskończone grupy permutacji II. Podgrupy o małym indeksie” . Dziennik algebry . 120 (2): 494–515. doi : 10.1016/0021-8693(89)90212-3 .
• Kratownica, JK (lipiec 1992). „Ogólne automorfizmy struktur jednorodnych”. Proceedings of London Mathematical Society . s3-65 (1): 121-141. doi : 10.1112/plms/s3-65.1.121 .
•   Kratownica, JK (czerwiec 1995). „Struktura zbiorów amorficznych” . Roczniki czystej i stosowanej logiki . 73 (2): 191–233. doi : 10.1016/0168-0072(94)00024-W . ISSN 0168-0072 .
•   Credo, P.; Kratownica, JK (3 lutego 2000). „Na zbiorach o-amorficznych” . Roczniki czystej i stosowanej logiki . 101 (2): 185–226. doi : 10.1016/S0168-0072(99)00017-2 . ISSN 0168-0072 .
•   Credo, P.; Kratownica, JK (1 listopada 2001). „O zbiorach quasi-amorficznych” . Archiwum logiki matematycznej . 40 (8): 581–596. doi : 10.1007/s001530100074 . S2CID 16999253 .

Linki zewnętrzne

• Profil JK Trussa na ResearchGate
• Osobista strona internetowa.
• John Truss wykłada na temat sieci jednorodnych w Międzynarodowej Stacji Badawczej ds. Innowacji i Odkryć Matematycznych w Banff.