Whenever a person meets another person, a vertice on the social graph, they will either ignore each other, talk to each other, occassionally talk to a new person, or be introduced to a person that isn’t yet in a vertice on their social graph, by a person on the social graph.
The first computer I tried was an IBM PC. Then we got a second-hand Amiga 500. My main computer before I moved to Oslo in 1997 was the Amiga 1200 with the Miami TCP/IP stack. Then, a friend helped me build an IBM-compatible PC that ran the Linux-based operating system distribution known as Red Hat Linux for years. Then I switched to Debian. Debian GNU/Linux, a free operating system. Then I got Ubuntu, based on Debian GNU/Linux. These days I run Fedora on my main laptop and Ubuntu on my second laptop.
I never really tried the Macintosh before entering University of Oslo. It ran NCSA Mosaic and NCSA telnet, but I had to reboot that computer quite often.
I just tried MacBook Air with OS X from Apple Computer.
I am quite satisfied with it. Mac OS X boots very fast, it is somewhat stable (almost as stable as the Linux kernel, as far as I know), but the operating system sometimes runs out of memory. Adding more memory to the machine is possible with the correct screwdrivers, but warrants the guarantee, so unlike a computer from say Lenovo or Toshiba, you can’t just add more memory to the MacBook Air as easy. The MacBook Air is both proprietary hardware and proprietary software.
When the proprietary Mac OS X software runs out of memory, it opens a window that asks whether I want to close any running programs.
A reboot usually fixes the problem. I am used to reboot computers running real operating systems like Linux on hardware and kernel upgrades, however, the MacBook Air with Mac OS X still needs to be rebooted quite often compared to the non-Macintosh computers I have tried.
Arrived Boston South Station from Penn Station by train.
Took the subway from BOS to Kendall/MIT.
Found the hotel and left my luggage.
Went to the MIT campus and went on the self-guided walking tour of the MIT campus.
Went to the MIT museum. Met a Canadian woman who didn’t study at MIT. Had a nice conversation.
Went back to the hotel and checked in.
Ate at Dunkin’ Donuts.
Visited SIPB. Went to eat dinner at Meadhall with some of the SIPB members. Nice selection of beer and food on the menu.
Tried the earl grey flavored ice cream at the campus dairy.
Then had a nice conversation and said goodbye to the SIPB members and went back to the hotel.
The next day I went to a quantum computing group talk at the Institute of Theoretical Physics in MIT Building 7.
Had lunch at Flour, Too.
Went over the Harvard Bridge and saw Berklee College of Music, the John Hancock Tower and a historical building near Boston Commons.
Went back to Cambridge.
Visited the book store The Coop and got three books by Richard Feynman, Scott Aaronson and Seth Lloyd.
Went back to visit SIPB.
Went to dinner at The Friendly Sandwich with SIPB members.
Said goodbye to the SIPB members. Brought a doggy bag with a delicious sandwich to the hotel. Went to sleep.
Went back to NYC by train. Flew home to OSL from JFK.
I took a taxi to the hotel from JFK with a cab driver from Long Island.
The cab driver was nice and introduced me to NYC on the trip from the airport.
Quickly I noticed that I had no data coverage on AT&T.
I walked from 212 East 42nd Street down to 5th Avenue and saw The New York Public Library and went to the Empire State Building 86th floor observatory. Nice view.
I could see the Chrysler Building from the hotel room.
I tried to sleep after the flight (7 hours and 20 minutes).
Uninstalled Android apps that used lots of data over 3G/4G and chose sync via WiFi only and set a MB limit on my Nexus 5 phone. Then I tested roaming on AT&T, but no coverage with my SIM card from a Norwegian operator.
Didn’t notice any jet lag after the trip from OSL to JFK in Dreamliner.
Got up and ate breakfast. Happy after breakfast. Still no sleep.
Went to the United Nations Headquarter that was 5 minutes away from the hotel. Guided tour can be ordered on un.org according to the port guard. A queue of people was leaving and arriving UN.
A guy was shouting across the other side of the UN, but I didn’t understand his language.
After lunch I went to the Grand Central Station and photographed the clock.
Dave, the drummer of Fancy Color, told me about a free concert with Nicole Atkins in Madison Square Park 7pm.
I went to the Rose Center for Earth & Space museum and saw a fulldome movie and tried to find a replica of the Mars rover. Nobody could tell me where it was, but I found it on the web afterwards.
I went to dinner at Palm Too, 840 Second Avenue. They had no formal dress code (as in United Nation), casual, so I wore a t-shirt from AMNH and ate, before I went to the concert in Madison Square Park. Perfect close of NYC.
I had no AT&T data coverage on the phone, either due to my SIM card or general 4G network problems in NYC. Gmail caches the emails on Android. Kind of a nice feature!
Yesterday I wrote my first letter to John Nash.
The Social Theorem (from my article “Social Graphs in Mathematics“, on Paul Erdős, John Nash, and Bertrand Russell, not surprisingly rejected by Notices of the American Mathematical Society in 2009 because it didn’t end with a conclusion, and then printed on my own cost and distributed) goes something like this:
Whenever a mathematician meets another mathematician in a point on the social graph, they will either ignore each other, produce a new proof, occasionally a new mathematician, or deﬁne a new conjecture.
My conclusion in 2014 after visiting MIT is:
Expand your social graph.