Formalizing Mathematics: a seminar on the proof assistant Lean (Math 248S)
Problem Solving Seminar (Math 281S)
A little learning is a dangerous thing;
drink deep, or taste not the Pierian spring:
there shallow draughts intoxicate the brain,
and drinking largely sobers us again.
-- Alexander Pope, An Essay on Criticism, 1709.
swot
1. Work or study at school or college; in early use spec. mathematics. Hence gen. labor, toil.
2. One who studies hard.
quadrivium
The four mathematical sciences (in European schools and universities from late antiquity to the early modern period) : arithmetic, geometry, astronomy, and music.
phrontistery
A place for thinking or studying.
lucubrate
1. Literally, to work by artificial light. Hence to study at night, 'burn the midnight oil.'
2. To produce (esp. literary compositions) by laborious study.
lucubration
1. Nocturnal study or meditation; study in general.
2. The product of nocturnal study and meditation; hence, a literary work showing signs of careful elaboration. Now somewhat derisive or playful, suggesting the notion of something pedantic or over-elaborate.
lucubratory
A 'thinking-shop,' a place of midnight study.