Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Theorem's Aren't So Scary

Sponsored · Your Podcast. Everywhere. Effortlessly. Share. Educate. Inspire. Entertain. You do you. We'll handle the rest. →
Avatar for Daniel Takamori Daniel Takamori
July 26, 2015
Science
0
34

Theorem's Aren't So Scary

Some Greeks, Monoids and something called CAP

Avatar for Daniel Takamori

Daniel Takamori

July 26, 2015
Tweet

More Decks by Daniel Takamori

See All by Daniel Takamori
A Not So Abstract Introduction to Abstract Algebra
Avatar for Daniel Takamori dspt
0
71

Other Decks in Science

See All in Science
サイコロで理解する原子核崩壊と拡散現象 〜単純化されたモデルで本質を理解する〜
Avatar for Syota-Sasaki syotasasaki593876
0
150
データベース10: 拡張実体関連モデル
Avatar for Y. Yamamoto trycycle
PRO
0
1.1k
データから見る勝敗の法則 / The principle of victory discovered by science (open lecture in NSSU)
Avatar for konakalab konakalab
1
270
AI(人工知能)の過去・現在・未来 —AIは人間を超えるのか—
Avatar for Y-h. Taguchi tagtag
PRO
0
140
デジタルアーカイブの教育利用促進を目指したメタデータLOD基盤に関する研究 / Research on a Metadata LOD Platform for Promoting Educational Uses of Digital Archives
Avatar for Masao Takaku masao
0
150
NDCG is NOT All I Need
Avatar for statditto statditto
2
2.8k
データマイニング - ウェブとグラフ
Avatar for Y. Yamamoto trycycle
PRO
0
230
タンパク質間相互作⽤を利⽤した⼈⼯知能による新しい薬剤遺伝⼦-疾患相互作⽤の同定
Avatar for Y-h. Taguchi tagtag
PRO
0
140
データマイニング - グラフ埋め込み入門
Avatar for Y. Yamamoto trycycle
PRO
1
160
凸最適化からDC最適化まで
Avatar for ざきまつ santana_hammer
1
350
Accelerated Computing for Climate forecast
Avatar for Jeongkyu Shin inureyes
PRO
0
150
Kaggle: NeurIPS - Open Polymer Prediction 2025 コンペ 反省会
Avatar for calpis10000 calpis10000
0
370

Featured

See All Featured
Fight the Zombie Pattern Library - RWD Summit 2016
Avatar for Marcelo Somers marcelosomers
234
17k
Building the Perfect Custom Keyboard
Avatar for Naoto Takai takai
2
680
Navigating the moral maze — ethical principles for Al-driven product design
Avatar for Skipper Chong Warson skipperchong
2
240
SERP Conf. Vienna - Web Accessibility: Optimizing for Inclusivity and SEO
Avatar for Sara Fernández Carmona sarafernandez
1
1.3k
Redefining SEO in the New Era of Traffic Generation
Avatar for Szymon szymonslowik
1
210
Practical Orchestrator
Avatar for Shlomi Noach shlominoach
191
11k
Mozcon NYC 2025: Stop Losing SEO Traffic
Avatar for Sam Torres samtorres
0
140
WCS-LA-2024
Avatar for Leonardo Collado-Torres lcolladotor
0
450
The Language of Interfaces
Avatar for Des Traynor destraynor
162
26k
brightonSEO & MeasureFest 2025 - Christian Goodrich - Winning strategies for Black Friday CRO & PPC
Avatar for Christian Goodrich cargoodrich
3
100
30 Presentation Tips
Avatar for Ian Lurie portentint
PRO
1
210
DevOps and Value Stream Thinking: Enabling flow, efficiency and business value
Avatar for Helen Beal helenjbeal
1
94

Transcript

  1. Theorems Aren't So Scary Some Greeks, Monoids and something called

    CAP

  2. Proofs

  3. Un (peut-être éro)

  4. Deux

  5. Trois

  6. Theorems

  7. Incompleteness

  8. The Butt

  9. Bottle CAPs

  10. https://www.flickr.com/photos/grongar/4106855164 https://www.flickr.com/photos/veganfeast/3536563326 https://www.flickr.com/photos/fdecomite/2625678453 https://www.flickr.com/photos/opensourceway/5364621018 https://www.flickr.com/photos/fdecomite/2303959110 https://www.flickr.com/photos/rangerrick/8712630706 https://www.flickr.com/photos/ipdegirl/9461933818