Tags » Finite

Finite square concrete
under an infinite sky
fly away just fly


To Infinity and Beyond

Infinity: Finite and Infinite

By Biblicism Institute

To be finite is to be a small part of infinity.

We humans are finite or partial and possess only finite minds, therefore we cannot comprehend nor grasp the whole which is infinity, God’s domain. 610 more words


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,277 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