Tag: Nerode 90

 

 

A prominent logician Anil Nerode has turned 90. This online conference is a special event in his honor.

Anil Nerode is a monumental figure in Mathematical Logic and Applications. His impact could be probably measured in figures: number of publications, citations, students, grants, etc, but it is so much more than that in it. Professor Nerode has been an inspirational leader of several generations of researchers in both academia and industry worldwide. His own scientific contributions are fundamental and span automata theory, model theory, theory and applications of hybrid control systems, and other fields. However, his influence as a builder and a consolidating figure in one of the most fundamental areas of human intellectual activity cannot be overestimated. Professor Nerode is a living and vital link between the classical tradition in Mathematical Logic and vast areas of its modern development.

Greetings, congratulations, photos for posting on this site, as well as and ZOOM link requests could be sent to Sergei Artemov by sartemov@gmail.com or sartemov@gc.cuny.edu

Program.

The dates and time are given in the Eastern Daylight Time zone EDT

June 28, Tuesday

11:00 – 11:45 Andre Scedrov “On the Security and Complexity of Periodic Systems”

Slides:https://drive.google.com/file/d/1yA9gbSeQuazKLWvveUvKaokmnDRO1MHA/view?usp=sharing

Paper: https://rdcu.be/cQRYl

Video: https://drive.google.com/file/d/1cI68giBz0iN3JBkL1bgWf5uXR21gEilF/view?usp=sharing

11:45 – 12:30 Philip Scowcroft “Some applications of infinitary logic to lattice-ordered groups” https://drive.google.com/file/d/1ww9X_YnyHNnf5gRpJ9SP5DLTd7qFjqi3/view?usp=sharing

12:30 – 12:45 Break

12:45 – 1:30 Moshe Vardi “From Deterministic Automata to Algebraic Decision Diagrams in Boolean Reasoning”

Slides: https://drive.google.com/file/d/15l4j8uEp8kQBBRXVz-0AWInsihqzAbLN/view?usp=sharing 

Video:  https://drive.google.com/file/d/1fD8PxUQgHo5-MqcuBSHUYyIFW4qzOXpP/view?usp=sharing

1:30 – 2:00 Mia Minnes “Automatic Structures and Algorithmic Randomness”  https://drive.google.com/file/d/1jrRNT9Gok_gbmeuUWr-PhY_btJegMdY0/view?usp=sharing

2:00 – 2:45 Break

2:45 – 3:30 Harvey Friedman “Reverse Mathematics”

Slides: https://drive.google.com/file/d/1aneVT1WBs00P-CTdHht-K-OH4XGp7QdO/view?usp=sharing

Video: https://drive.google.com/file/d/1wog8MdfuGCZWVPhAlo5fXhyBVuOjRqNy/view?usp=sharing

3:30 – 4:15 Denis Hirschfeldt “Reduction games in Reverse Mathematics” 

Slides: https://drive.google.com/file/d/18hAj595g_J1SPAAc0BJq12ZT0jpSilue/view?usp=sharing 

Video: https://drive.google.com/file/d/1m6G_VNqul2IJFsQRJU3F20MH2mHXr77R/view?usp=sharing

4:15 – 4:45 Sam Sanders “Computability beyond Turing” 

Slides: https://drive.google.com/file/d/1_mITytmYvpxMO8CI7UwdaWH4nR-O8u48/view?usp=sharing

Video: https://drive.google.com/file/d/1DC7tQ1Fcw7bT17JOxIHMgmnPsXAIUkcr/view?usp=sharing

4:45 – 5:00 Break

5:00 – 5:30 Duminda Wijesekera “Logical analysis of attacks and defenses in the cyber physical world: The story of LinuxCNC”

Slides:https://drive.google.com/file/d/1dhc04ZBS5TVx4q1qkcIaCd1H2ptRrdf6/view?usp=sharing 

Video:  https://drive.google.com/file/d/1zsq8P7P2HjWb33kI96-uPm0TrT-kreTj/view?usp=sharing

5:30 – 6:15 Bakhadyr Khoussainov “Probability structures”

Slides:https://drive.google.com/file/d/1x4ILo8DCC6Xw6hH1NlGSoiFYnfYcCjR0/view?usp=sharing

Video: https://drive.google.com/file/d/1gQuB3nMDFgfwYvVK6a5z0_zGpm_PuqjA/view?usp=sharing

6:15 – 7:00 Rod Downey “My Mathematical Encounters with Anil Nerode-Updated!” https://drive.google.com/file/d/1UCwtr8sL3nhFdqzpk4US5P0q6Pf1BerD/view?usp=sharing

June 29, Wednesday

11:00 – 11:45 Phokion Kolaitis “On the Expressive Power of Homomorphism Counts”

Slides: https://drive.google.com/file/d/1NORyKMKCg79y-rRAE6UUf_wMtUyPbDfS/view?usp=sharing

Video:  https://drive.google.com/file/d/1RYLGoHnyYutkgJ9JhpkOhjo5EfZJqmE5/view?usp=sharing

11:45 – 12:30 Andre Platzer “Differential Game Logic and Its Use for Aircraft Collision Avoidance Games”

Slides:https://drive.google.com/file/d/1VKtYGbBUYLQzxSHAS16yR0CO19BPi-UN/view?usp=sharing

Video:https://drive.google.com/file/d/1Qd7xh6KVIY0LzwTzaBM0TmWmleawD5Vx/view?usp=sharing

12:30 – 12:45 Break

12:45 – 1:30 Venkatramanan Siva Subrahmanian “Logic, Learning, Explanations, and Terrorists” https://drive.google.com/file/d/1z_Dig_bYnDTbkbdnGrj74LBskEbv9s6f/view?usp=sharing

1:30 – 2:15 Victor Marek TBA https://drive.google.com/file/d/1t4ZM970ympQfnWEujzPcET0uQIjC5bky/view?usp=sharing

2:15 – 3:00 Break

3:00 – 7:30 Session of memories and congratulations:

Part 1. Robert Soare (opening speech), Richard Shore, Andre Scedrov. https://drive.google.com/file/d/1g_vLRn8q_k9bWrC01X2Xus_jNbGnoE_K/view?usp=sharing

Part 2. Michael Fellows (pre-recorded). https://drive.google.com/file/d/14S7p5kVFvgeQlDgGg5caXgT-p1smrSZY/view?usp=sharing

Part 3. Moshe Vardi, Piergiorgio Odifreddi, George Metakides, Peter Jutro,  James Lipton, Denis Hirschfeldt, Manuel Lerman, Mia Minnes, Joseph S Miller, Sergey Goncharov, Robert Milnikel, Robert Lubarsky, Romin Abdolahzadi, Valentina Harizanov, Anil Nerode (closing remarks), a general discussion.

This video is over three hours long, so be patient, it takes time for the stream to start:  https://drive.google.com/file/d/1_Pn3eE0qbDf9jaVyURosXH1_jGr2zP-1/view?usp=sharing

 

Memories and Congratulations

From Bill Howard. 

          IN HONOR OF ANIL NERODE’S 90th BIRTHDAY
For the online conference in Anil’s honor on June 28-29, 2022.

Here are some memories from my participation in the logic group at the University of Chicago in the 1950s.  

By “the logic group”, I mean: students in the math department who were interested in mathematical logic. I arrived as a graduate student in the math department in the fall of 1949. In 1950, when I first encountered the logic group, it had three members: Raymond Smullyan, Stanley Tennenbaum and Anil. Although all three were mathematics students, they were centered on Carnap, who was in the philosophy department.

I got to know Raymond sometime in 1950. He was earning a living doing magic tricks at hotel restaurants downtown, and I would often find him at two o’clock in the morning, working on mathematical logic in Gladys’ restaurant, an all-night restaurant on 55th street. He was taking Carnap’s course on “the axiomatic method”. This was a very elementary course, but Carnap was a famous man and I wanted to have a look at him, so I decided to tag along. Stanley Tennenbaum often showed up after class, and that was how I met Stan. That is also how I met Anil. (Whether Anil was also taking the course, I don’t recall.)

Stan was a handsome young man in a Brooks Brothers suit who had an obsession with Gödel’ incompleteness theorem. If he spotted you crossing the campus, he would back you up against a tree and compulsively explain Gödel’s incompleteness theorem, like the ancient mariner in Coleridge’s poem, The Rime of the Ancient Mariner. I think he got this bug from Carnap, for whom the incompleteness theorem was a source of great unhappiness. (It refuted the positivistic view that the meaning of a sentence was to be given by a procedure for determining its truth or falsity.)

At that time, the math department at the U of C was not hospitable to mathematical logic. I was André Weil’s assistant, and, while I was attending Carnap’s course, Weil used to ask me, “Are you through with your axiomatic nonsense yet?” The situation improved greatly in the academic year 1953-1954 when two young recursion theorists, John Myhill and Jim Dekker, received visitor’s appointments (Myhill in the philosophy department and Dekker in the math department). Stan was renting the house of a professor who was on sabbatical, and he was running a sort of twenty-four-hour salon on mathematical logic and philosophy in the living room. Myhill was renting a room in the basement and Paul Cohen had a room upstairs. Cohen often came down to heckle.

By the spring of 1954 my main interest had shifted from straight mathematics to mathematical logic but I saw no possibility of getting the math department to accept a Ph. D. dissertation in that field. I was very surprised when Anil told me that he had gotten Saunders Mac Lane to supervise our dissertations in mathematical logic. Thanks, Anil!

Also, in the spring of 1954, the math department decided that I had had enough financial support, so I got a job at the Institute for Air Weapons Research (known informally as the Bartky project). The project was housed in the upper level of the Museum for Science and Industry. Anil already had a job there. Working hours were flexible, so Anil and I often attended math department teas and colloquia. Walking back to the Museum, we often talked about our interests in mathematical logic. On those walks, I was happy to learn from him: (1) why functions of real numbers in intuitionistic mathematics are continuous, (2) Tarski’s truth definition for Peano arithmetic, and (3) the possible significance of Kreisel’s paper “On the interpretation of non-finitist proofs,” assuming that Kreisel was not completely crazy.

By then, the logic group at the U of C had four members: Raymond, Stan, Anil, and myself. Finally, Michael Morley was brought in as follows. Michael had a job at the Bartky project. As Anil explains in his website http://pi.math.cornell.edu/~anil/highereducation.html

Michael was doing graduate work in pure mathematics, and he had proved some theorems about the extension of endomophisms in group theory.  Anil suggested that he (Michael) might be able to obtain similar results for first-order logic. Michael immediately began to get results. He submitted this and other work to Mac Lane, but, unfortunately, Mac Lane did not think that this was enough for a Ph. D. dissertation. After Michael had worked with Robert Vaught at Berkeley for about a year, it was clear to everyone that he now had enough results, so he got his Ph. D. from Mac Lane in 1962.

When I encountered Michael at a meeting of the ASL in the spring of 2004, I mentioned that the period 1950-1960 was a good time for mathematical logic at the U of C. His reply was, “We had logic students but no logic professors.”

So, those are some memories from the 1950s (and one from the spring of 2004).

Happy birthday, Anil!

From Carl Jockusch

Please convey my warm congratulations and deep admiration to Anil on the occasion of his 90th birthday!

From Dirk van Dalen

I have been a silent admirer of Anil ever since I started my Logic career. A man with a style and a wonderful insight in our foundational area.

From Adam Bjorndahl