Axiom of choice [MATH]

I always though mathematicians were stupid because something like the Axiom of Choice came out years after ZFC set theory, and it is still not universally accepted. But maybe those old skeptics foresaw something like what just happened to me...

SU: I had to tell you about the wallet I'm getting you because I found out the size and the color you want... but there's a choice for lining and there's no other way I can ask you what lining you want.
WILL: But there's only one option.
SU: No there's two, there's "choice" and there's "pigskin" and I don't know which one to pick.
WILL: Right, choice is just a word and the only choice is pigskin.
SU: So why are there two choices?
WILL: There's only one choice. "Choice" isn't a choice.
SU: ⊥ 

Comments

Post a Comment

Popular posts from this blog

Nontechnical: What is ERC-721?

Image
Read time: 6 minutes. This post explains how ERC-721 works and does not require any prior knowledge of Ethereum or blockchain. 简体中文 -->  http://www.sfgroup.hk/news_post/通俗易懂的告诉你什么是erc-721/  （奇点财经翻译） How does your phone connect to a web server? Most of your time on computers/phones/technology is spent with a web browser accessing a web page. Most of the screens you see out in the world that display information are usually using a web page to show it, but they just hide the URL bar. The flight arrivals screen -- it's just a web page Think for a minute about how this ubiquitous technology works. You.  You are very busy and you are trying to access some information, maybe cat videos or sports scores or your family members' feedback on a photo you posted of your kid.  Your phone , or whatever other device is in your hand, that acts on your behalf. The web server decides how it wants to reply to your request. Technology people, the ones that ma...
Read more

I Was Kidnapped in Manila and Lived to Tell About it

Image
Other potential titles: The US Embassy Doesn't Want You Know About This Kidnapping in Manila Scopolamine / Devil's Breath Trip Report It started Easter weekend This story starts at Noon Tuesday April 18th, 2017 on Makati Avenue. I just finished a meeting with the Philippines Board of Investments to discuss how my company can expand our business in Manila. (Also saw the QBO Innovation Hub , it was awesome.) I had plenty of time to kill and some emails to catch up on, so it's time for some brain food! I walked right to the hottest part of town, Makati Ave. and Jupiter Ave. , surely there will be something good to eat. And then suddenly, The Guy approaches me, I'm marked. Hey, I know you are you staying at the Jazz Residences? Jazz is about a 12 minute walk to here, and I did not walk towards Makati Ave. from that direction since I just came from the meeting. I'm always guarded with information and paying attention to stuff like that. There's abo...
Read more

The best number on Google Voice

Image
I got a GV invite today and had to choose which number I want. Of course all the repeated digits are gone (215-777-7772, ...) are gone. Google provides a simple interface to find a good number, but this is the interface I like, grep: ===So I did the following (Mac 10.5 / Safari)=== 1. Download all available Google Voice phone numbers  for a given area code. 2. Normalize the data: grep -ho +1484....... *js | sort -u | cut -c 3- > numbers 3. Grep through to find the best numbers available (some example results shown): # repetition grep "\([0-9]\{4\}\).*\1" numbers >> 4843248432 #pairs grep "\([0-9]\)\1.*\([0-9]\)\2.*\([0-9]\)\3" numbers >> 4842220022 >> 4842220044 # repetition grep '\([0-9]\)\1\{3\}' numbers >> 4849388886 # only 3 digits (mostly) grep '^[483]\+.$' numbers >> 4843344881 # palindromes grep "\([0-9]\)\([0-9]\)\([0-9]\)\([0-9]\).?\4\3\2\1"...
Read more