Remix.run Logo
yndoendo a day ago

"The Axioms of choice" is talking about a mutable set of sets that contain immutable axioms.

The number 4 in a set is immutable, 4 == 4 under all stances, while it can be taken out or added to the selected set. Objective reasoning.

Example: The OS function that applies IP port assignments. Application may utilize one or more port numbers. When the application is done, they are moved back into the unused set. The port numbers themselves are immutable.

Social axioms are mutable because subjective reasoning is being applied.

Example:

Ask a person if they support domestic abuse. They most likely will so no. Ask them if they ever funded a performer that committed acts of domestic abuse after the facts were revealed. There is a high chance they did and write it off by saying, "don't look at their character, look at how well they perform. That was a good show, movie, book, ..."

Ever hear someone use the phrase, "that is different" when describing two equal scenarios that apply to two different people?

Kanye West still selling out shows highlights that people are willing to reject objective reasoning in a social environment.

Or to rephrase, social axioms are mutable because they can collapse and no longer exist.

qarl 21 hours ago | parent [-]

My point was - mathematicians still argue about whether the axiom of choice is a good idea or not. They probably always will.

So mathematical axioms are in flux.

yndoendo 14 hours ago | parent [-]

Axioms are not in flux, set of axioms are in flux. Axioms are fixed and finite. This is how software works.

Gödel's incompleteness theorems is built around this. By saying axioms change then one could create an universal math theorem. Since axioms are finite in definition and applied in a finite space, functions, there cannot be an universal math.

Example: Fibonacci sequence only works with positive integers and zero. It will work with negative integers wrapped in absolute value. The axioms of Fibonacci did not change while wrapped in absolute value. Rational and irrational numbers can work with Fibonacci too by applying another function bound to absolute value.

qarl 11 hours ago | parent [-]

> The axioms of Fibonacci...

Hmmm. I'm afraid we're just going to have to agree to disagree.

You have a nice day.