May. 24th, 2009

stoutfellow: My summer look (Summer)
The Formalist program required the selection of a list of fundamental axioms from which all of mathematics could be (in principle) constructed. More broadly, each branch of mathematics should have its own list of axioms (presumably deriving from the fundamental list), subject to the same constraints as mentioned in the last Ramble.

ExpandPeano, player )

Ramble Contents
stoutfellow: My summer look (Summer)
I've set up my Dreamwidth account so that, if I post something there directly, it will cross-post to LiveJournal. Apparently, though, this does not happen if I post via a client (Semagic, in my case). I've read the instructions on how to post to multiple accounts from Semagic, but apparently, since I have the same username in both places, this doesn't work either. Does anyone know how to get this to work? (I really much prefer using Semagic to direct posting.)
stoutfellow: Joker (Default)
The San Diego Padres are the hottest team in the majors right now, having won nine consecutive games.

That's enough to get them... to .500, seven and a half games behind the Evil Blue Empire.

It won't last.

Profile

stoutfellow: Joker (Default)
stoutfellow

April 2020

S M T W T F S
    1 2 34
5 6 789 1011
12 13 14 1516 17 18
19202122232425
2627282930  

Most Popular Tags

Style Credit

Expand Cut Tags

Expand All Cut TagsCollapse All Cut Tags
Page generated Jun. 20th, 2025 09:45 pm
Powered by Dreamwidth Studios