Rin speaks at two international conferences
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.
Share on:
Related News Items
- Ahead of Trump 2.0, Women's March rebrands as 'The People's March,' with local events. Can they revive the fervor of 2017?
- China's population declines for 3rd straight year
- Ethnographer's Way by UCI professors Peterson and Olson named among The Chronicle's top books of 2024
- Why Hungary inspired Trump's vision for higher ed
- Holding on to a middle-class home in a burning Los Angeles
connect with us