Ciro Santilli @cirosantilli 35

Much of this section will be dumped at Section "Website front-end for a mathematical formal proof system" instead.

As a Brazilian, Ciro Santilli used to really love playing soccer (but not watching it), until he hurt his knee.

Playing soccer just feels amazing, because you are constantly running around, but with a more specific goal in mind: to get that ball into that goal!

Playing soccer was specially amazing in the flat wet sand beach of Santos. weekend, the sea, feet touching the sand, the sun going down, and your school mates next to you. Nirvana.

It is also true that under those conditions, the skin of your feet will get ripped off due to running on the slightly wet and flat sand no matter how thick it has become. But it is worth it.

Teams would often be slit between "the team with shirts vs the team without shirts", who would just take off their shirts. The two best players would take turns picking players into their teams, the first one to pick would be decided by odds and evens (par ou ímpar).

A pair of Havaianas, or Havaianas rip-offs, stuck into the sand, or even just some school bags, would do as a goal posts. More organized people, especially adults, would have their own water pipe goal with a proper net and all. But doing so would spoil the fun of endless discussions if a non flat ball had gone in or not into an imaginary rectangle.

That's how soccer was meant to be played.

Ciro became however disillusioned with soccer after his injury. It is a shame.

And so after that, Ciro decided to dedicate himself to sports where you can't hurt your knee.

Ciro hates water, so swimming is out of the question. What could be more boring than going back and forth on a fixed location a million times to gain some milliseconds?

And so Ciro has been left with the gym as the only main option for a while.

Running would have been a consideration, but Ciro Santilli's legs sometimes itch when he runs.

This is until he ended up living in a place with decent roads for cycling in the late 2010's, which led to Ciro Santilli's cycling.

Why would physicists use a letter such that:Why? Why?????????

Sets are unordered, but we can use them to create ordered objects, which are of fundamental importance. Notably, they are used in the definition of functions.