Rin speaks at two international conferences
- September 19, 2013
- Papers discuss theory of logic and computation
Seventh year graduate student Ben Rin presented two papers at European conferences on logic and computability this summer. The first paper, called "On Set-Theoretic and Transfinite Analogues of Epistemic Arithmetic and Flagg Consistency," was given at a conference called "The Nature of Computation: Logic, Algorithms, Applications," hosted by the University of Milano-Bicocca from the 1st to the 5th of July. This paper addressed how ideas concerning epistemic arithmetic -- an attempt to use traditional arithmetic to model an alternative approach to logic -- can be extended to other domains of mathematics and logic. The second paper was presented at a workshop on the History and Philosophy of Infinity, hosted by Corpus Christi College at Cambridge University, from the 20th to the 23rd of July. This paper, called "Infinity and Recursion," discussed how ideas in the theory of computation extend to infinite sets.
Related News Items
- Language Science Ph.D. student presents work at the annual meeting for the Society for the Neurobiology of Language
- A remarkable shift in attitudes leaves U.S. even more divided on race
- The U.S.-China tariff failure of 2019
- What will Santa Ana do to keep low-income and Latino residents safe from toxic lead?
- Focus of Fed trading furore shifts to Powell's activities