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
AI(人工知能)の過去・現在・未来 —AIは人間を超えるのか—
Avatar for Y-h. Taguchi tagtag
PRO
0
140
Rashomon at the Sound: Reconstructing all possible paleoearthquake histories in the Puget Lowland through topological search
Avatar for Richard Styron cossatot
0
490
データベース14: B+木 & ハッシュ索引
Avatar for Y. Yamamoto trycycle
PRO
0
660
会社でMLモデルを作るとは @電気通信大学 データアントレプレナーフェロープログラム
Avatar for yuto16 yuto16
1
520
検索と推論タスクに関する論文の紹介
Avatar for Yu Nakano / 中野優 ynakano
1
140
ド文系だった私が、 KaggleのNCAAコンペでソロ金取れるまで
Avatar for wakama1994 wakamatsu_takumu
2
1.9k
タンパク質間相互作⽤を利⽤した⼈⼯知能による新しい薬剤遺伝⼦-疾患相互作⽤の同定
Avatar for Y-h. Taguchi tagtag
PRO
0
140
baseballrによるMLBデータの抽出と階層ベイズモデルによる打率の推定 / TokyoR118
Avatar for 森下光之助 dropout009
2
660
コミュニティサイエンスの実践@日本認知科学会2025
Avatar for hayataka hayataka88
0
120
知能とはなにかーヒトとAIのあいだー
Avatar for Y-h. Taguchi tagtag
PRO
0
170
データマイニング - ウェブとグラフ
Avatar for Y. Yamamoto trycycle
PRO
0
240
力学系から見た現代的な機械学習
Avatar for Han Bao hanbao
3
3.9k

Featured

See All Featured
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
Avatar for Vitaly Friedman smashingmag
254
22k
Making the Leap to Tech Lead
Avatar for Ryan Cromwell cromwellryan
135
9.7k
Bootstrapping a Software Product
Avatar for Garrett Dimon garrettdimon
PRO
307
120k
The Mindset for Success: Future Career Progression
Avatar for Greg Gifford greggifford
PRO
0
240
Ecommerce SEO: The Keys for Success Now & Beyond - #SERPConf2024
Avatar for Aleyda Solis aleyda
1
1.8k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
Avatar for soudai sone soudai
PRO
196
71k
Agile Actions for Facilitating Distributed Teams - ADO2019
Avatar for Mark Kilby mkilby
0
110
For a Future-Friendly Web
Avatar for Brad Frost brad_frost
182
10k
Why Our Code Smells
Avatar for Brandon Keepers bkeepers
PRO
340
58k
Lightning Talk: Beautiful Slides for Beginners
Avatar for Ines Montani inesmontani
PRO
1
440
Believing is Seeing
Avatar for Spiro Bolos oripsolob
1
55
How to train your dragon (web standard)
Avatar for Monica Dinculescu notwaldorf
97
6.5k

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