University of Birmingham > Talks@bham > Theoretical computer science seminar > Ordinals vs. Cardinals in N? and Beyond

## Ordinals vs. Cardinals in N? and BeyondAdd to your list(s) Download to your calendar using vCal - Aviv Keren (Jerusalem)
- Wednesday 11 April 2018, 11:00-12:00
- Computer Science, The Sloman Lounge (UG).
If you have a question about this talk, please contact Paul Taylor. Special seminar arranged by Aaron Sloman I will present a preliminary abstract framework of object-representation (in terms of humans’ interaction with objects), that makes room for the representation of mathematical objects on par with that of non-mathematical (mainly physical) ones. This framework serves as a bridge, through which the vast scientific knowledge concerning the latter can guide our understanding concerning the former. Using this framework, I will provide a novel account of the intricate interaction between ordinals, cardinals, and natural numbers, in-between the finite and the infinite. The account will dispute the classic mathematical tale of what actual infinity supposedly did to our concept of numbers and substantiate a different view: From the very beginning, even in the finite, ordinals and cardinals are inherently “mathematically” distinct; different types of objects. The restricted domain of the finite, however, allows for merging the two and bringing about the compound objects that numbers actually are and automating the handling of the finite ordinals and cardinals themselves and the interaction between them. But the finite is simply the implicit context in which these mathematical objects happen to first be experienced and discovered or taught (akin to a piece of geometric reasoning that inconspicuously depends on the drawn triangle being acute-angled). It is a contingent, empirical statistic rather than an absolute mathematical necessity that the cognitive system nonetheless, by its nature, comes to process equivalently. The introduction of actual infinity, much later on, merely forces us to notice the notions’ distinctness. Foundationally, that distinction is already at the heart of things—and of their mental representation too. This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Computer Science, The Sloman Lounge (UG)
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsApplied Topology Colloquium Astrophysics Talks Series Data Science and Computational Statistics Seminar## Other talksTBC Hidden Markov Model in Multiple Testing on Dependent Data TBC Module tensor categories and the Landau-Ginzburg/conformal field theory correspondence Advancing biomedical photoacoustic imaging using structured light and optical microresonators [Colloquium:] Aperture Fever: The Extremely Large Telescope |