Tags » Finite

Giving Self to God

Reading: Colossians 2: 6-19

We often try to fill our lives with so many things and activities that we think will bring us joy, happiness, contentment, peace.   274 more words

Time: All is as One Day with God

Dear Joseph,

Life: what a waste of time! I find it hard to believe that God would waste time having me and the other billions of humans bumbling about stubbing our toes in cluelessness. 3,275 more words


Combinatorial Species and Finite Sets in HoTT

(Post by Brent Yorgey)

My dissertation was on the topic of combinatorial species, and specifically on the idea of using species as a foundation for thinking about generalized notions of algebraic data types. 1,418 more words

Higher Inductive Types

I believe every human has a finite number of heartbeats. I don't intend to waste any of mine. Neil Armstrong

I believe every human has a finite number of heartbeats. I don’t intend to waste any of mine.

Neil Armstrong



Note: If you need a refresher on well-orderings, ordinals, and cardinals, check out the Ordinals and Cardinals page.

When I was in elementary school, a tiny part of the mathematics curriculum, a few minutes in fourth grade, was the distinction between ‘ordinal numbers’ and ‘cardinal numbers.’ We were vaguely told that ordinal numbers dealt with order and cardinal numbers dealt with amount, and things were pretty much left at that. 772 more words


Raven song 5

It is only because we are finite. That all possibilities all infinite.
~S.R. Taylor ~


Phenomenology sans Ontology?

Having wrote an earlier piece on the problems associated with a phenomenological criterion of personal identity [1], I now want to assess a commonality I find in the way phenomenology is done. 603 more words