/sci/ - Science & Math

I had a TI89 in EE uni. Never let me down. But I never needed it again since uni...

I've touched this in the types thread, now I'm just checking if there are any takers:

Some month ago I tried to initiate that Landau book weekly reading, but there were not too many people reading along, and I assume it's in large parts to the topic being slighly advanced and/or uninteresting for people from different backgorunds.

I'm thinking about doing some other regular threads (with the same goal for me), but now by being entirely self-contained.

Soon, I’ll finally have some time on my hands for a few months and I consider using it for the tedious enterprise of polishing my „physics notebook“.
Let’s say I’ll aim for speaking about the bosonic ideal quantum gas and for that I’ll make all necessary definition. And by all necessary definitions I mean that the definition of the pair <span class="math">\langle a,b\rangle[/spoiler] of two sets will only be the 30’th post or so. So it will be slow, abstract and self-contained in the strongest sense. You may wanna take notes.

Also, my hope is that if I don’t fuck it up, this can also provide as a reference system of definition for some of the hotheaded discussions here sometimes.

I have a topical outline for the first 50 day which goes roughly like:
INFORMAL PART
1. a word on syntax, a word on types, a word on how those are used to set up computation, then some logic (intuitionistic propositional => classic propositional => predicate), types and functions, cats in a type theory, a little bit of category basics, how the latter are used to reflect on types and logic
2. then set axioms in predicate logic, followed by set basics, functions (or their model, if you will) in set theory, universes
3. SET and what the previous definitions are in it
FORMAL PART
4. introduce the set basics formally
5. models for arithmetic and the continuum
6. definitions of various kinds of relevant functions, up to analysis definitions
….
x. ODE’s
…
y. Entropy
…
z. Feynamn path integrals


Any suggestions?
Anybody up to it?

A German/French friend of mine was a gifted boy, totally into algebraic geometry. Yes, he made contributions early and is still known in the right circles for rewriting some of the old theory. But he went batshit on buddism and stuff and went to the woods to live the NEET life now.