Rin speaks at two international conferences
![](/files/news_events/2013/brin_295817.jpg)
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:
connect with us: