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

Theorem's Aren't So Scary

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
NDCG is NOT All I Need
Avatar for statditto statditto
2
2.8k
AIに仕事を奪われる
最初の医師たちへ
Avatar for iKora128 ikora128
0
1k
あなたに水耕栽培を愛していないとは言わせない
Avatar for Mutz mutsumix
1
250
検索と推論タスクに関する論文の紹介
Avatar for Yu Nakano / 中野優 ynakano
1
140
academist Prize 4期生 研究トーク延長戦！「美は世界を救う」っていうけど、どうやって？
Avatar for Jimpei jimpe_hitsuwari
0
470
LayerXにおける業務の完全自動運転化に向けたAI技術活用事例 / layerx-ai-jsai2025
Avatar for shimacos shimacos
4
21k
Rashomon at the Sound: Reconstructing all possible paleoearthquake histories in the Puget Lowland through topological search
Avatar for Richard Styron cossatot
0
490
baseballrによるMLBデータの抽出と階層ベイズモデルによる打率の推定 / TokyoR118
Avatar for 森下光之助 dropout009
2
660
デジタルアーカイブの教育利用促進を目指したメタデータLOD基盤に関する研究 / Research on a Metadata LOD Platform for Promoting Educational Uses of Digital Archives
Avatar for Masao Takaku masao
0
150
論文紹介 音源分離:SCNET SPARSE COMPRESSION NETWORK FOR MUSIC SOURCE SEPARATION
Avatar for kenmatsu4 kenmatsu4
0
510
20251212_LT忘年会_データサイエンス枠_新川.pdf
Avatar for shinpsan shinpsan
0
230
蔵本モデルが解き明かす同期と相転移の秘密　〜拍手のリズムはなぜ揃うのか？〜
Avatar for Syota-Sasaki syotasasaki593876
1
210

Featured

See All Featured
How To Stay Up To Date on Web Technology
Avatar for Chris Coyier chriscoyier
791
250k
Chasing Engaging Ingredients in Design
Avatar for Sebastian Deterding codingconduct
0
110
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
Avatar for Sam Stephenson sstephenson
162
16k
Redefining SEO in the New Era of Traffic Generation
Avatar for Szymon szymonslowik
1
210
Lessons Learnt from Crawling 1000+ Websites
Avatar for Charles Meaden charlesmeaden
PRO
1
1.1k
[SF Ruby Conf 2025] Rails X
Avatar for Vladimir Dementyev palkan
1
750
Improving Core Web Vitals using Speculation Rules API
Avatar for Sergey Chernyshev sergeychernyshev
21
1.4k
Design of three-dimensional binary manipulators for pick-and-place task avoiding obstacles (IECON2024)
Avatar for konakalab konakalab
0
350
How to Get Subject Matter Experts Bought In and Actively Contributing to SEO & PR Initiatives.
Avatar for Liv Day livdayseo
0
65
Navigating the Design Leadership Dip - Product Design Week Design Leaders+ Conference 2024
Avatar for Andy Polaine apolaine
0
170
Conquering PDFs: document understanding beyond plain text
Avatar for Ines Montani inesmontani
PRO
4
2.3k
YesSQL, Process and Tooling at Scale
Avatar for Rocio Delgado rocio
174
15k

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