egg changed the topic of #kspacademia to: https://git.io/JqLs2 | Dogs are cats. Spiders are cat interferometers. | Document well, for tomorrow you may get mauled by a ネコバス. | <UmbralRaptor> egg|nomz|egg: generally if your eyes are dewing over, that's not the weather. | <ferram4> I shall beat my problems to death with an engineer. | We can haz pdf | Logs: https://esper.irclog.whitequark.org/kspacademia
<raptop>
naturally private correspondece is correctly cited
egg|anbo|egg_ has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 204 seconds]
* egg|anbo|egg_
meows at whitequark
<egg|anbo|egg_>
raptop: I like Kepler’s thing of randomly dumping in a greek word in the latin
<egg|anbo|egg_>
he does that a lot
<egg|anbo|egg_>
(/me glances at the 𒋛𒄥𒊏𒀀𒌅)
<raptop>
heh
<egg|anbo|egg_>
meow
* raptop
pets egg|anbo|egg_ with a cat arbitrarily selected from the set of real cats
<egg|anbo|egg_>
> In chapter 9 and 22 (Kepler [1627] 1969, Vol. X, 66–69 and 144–146) he uses an iterative approach to find the angel λ between the sun (A) and the earth (E) as seen from a planet (P) (see fig. 5).
<egg|anbo|egg_>
CC whitequark, or something
<raptop>
uh
<raptop>
wait, that can be solved with triangles, right?
<egg|anbo|egg_>
yeah fig. 5 is a triangle
<raptop>
Once again, everything in life is triangles
egg|anbo|egg_ has quit [Remote host closed the connection]
egg|cell|egg has joined #kspacademia
* raptop
stabs raptop in the motivation
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
<SnoopJ>
triangles are the strongest shape, mr freeman
<raptop>
Presumably a basic T-34, and not a T-34-85?
<SnoopJ>
good question
<raptop>
...oh, right. The T-34's crew cats are Russian blues
_whitelogger has joined #kspacademia
egg|anbo|egg_ has joined #kspacademia
egg|anbo|egg_ has quit [Remote host closed the connection]
egg|anbo|egg_ has joined #kspacademia
<egg|anbo|egg_>
[Conteggst from another place: the idea of programming languages for cats; and the realization that existing ones are, fundamentally, FORmula TRANslation, and deeply tied to the expressions of arithmetic and algebra; whereas the same mathematics have formerly been described more geometrically]
<egg|anbo|egg_>
Astronomia Nova, or to a lesser extent Principia, are full of that sort of way of expressing things that we nowadays would using formulæ
<egg|anbo|egg_>
The sum is expressed by adjoining areas, and the product by constructing areas from lengths (with a circle doing the conversion circular sector = angle, whose sine is a length)
<egg|anbo|egg_>
whitequark: interestingly this hints at some typing; e.g. addition is only permitted between areas or between lengths, not between a length and an area; this actually remains in late 17th works that use formulæ
<egg|anbo|egg_>
there you have polynomials whose coefficients are written as powers, so that term has the same overall power
<egg|anbo|egg_>
i.e. instead of writing ax^3+bx^2+cx+d you get a^1x^3+b^2x^2+c^3x+d^4
<egg|anbo|egg_>
so that all terms are of dimension 4
<egg|anbo|egg_>
And the circle allows for some reduction in dimension, since you can see angles as either the arc length or the sector area
egg|anbo|egg_ has quit [Remote host closed the connection]
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
* egg|anbo|egg
mews at whitequark’s cats
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]