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 Y-h. Taguchi tagtag
PRO
0
180
MCMCのR-hatは分散分析である
Avatar for Shota Mori moricup
0
590
LayerXにおける業務の完全自動運転化に向けたAI技術活用事例 / layerx-ai-jsai2025
Avatar for shimacos shimacos
4
21k
機械学習 - DBSCAN
Avatar for Y. Yamamoto trycycle
PRO
0
1.5k
NDCG is NOT All I Need
Avatar for statditto statditto
2
2.8k
データベース14: B+木 & ハッシュ索引
Avatar for Y. Yamamoto trycycle
PRO
0
660
HDC tutorial
Avatar for Michiel Stock michielstock
1
380
ド文系だった私が、 KaggleのNCAAコンペでソロ金取れるまで
Avatar for wakama1994 wakamatsu_takumu
2
1.9k
baseballrによるMLBデータの抽出と階層ベイズモデルによる打率の推定 / TokyoR118
Avatar for 森下光之助 dropout009
2
660
Algorithmic Aspects of Quiver Representations
Avatar for Tasuku Soma tasusu
0
190
デジタルアーカイブの教育利用促進を目指したメタデータLOD基盤に関する研究 / Research on a Metadata LOD Platform for Promoting Educational Uses of Digital Archives
Avatar for Masao Takaku masao
0
150
次代のデータサイエンティストへ～スキルチェックリスト、タスクリスト更新～
Avatar for The Japan DataScientist Society datascientistsociety
PRO
2
27k

Featured

See All Featured
Stewardship and Sustainability of Urban and Community Forests
Avatar for Eric Wiseman pwiseman
0
110
Self-Hosted WebAssembly Runtime for Runtime-Neutral Checkpoint/Restore in Edge–Cloud Continuum
Avatar for Yuki Nakata chikuwait chikuwait
0
320
Designing for Timeless Needs
Avatar for Cassini Nazir cassininazir
0
130
Are puppies a ranking factor?
Avatar for Jono Alderson jonoalderson
1
2.7k
Test your architecture with Archunit
Avatar for Yoan thirion
1
2.2k
Collaborative Software Design: How to facilitate domain modelling decisions
Avatar for Kenny Baas-Schwegler baasie
0
140
The Myth of the Modular Monolith - Day 2 Keynote - Rails World 2024
Avatar for Eileen M. Uchitelle eileencodes
26
3.3k
Amusing Abliteration
Avatar for ianozsvald ianozsvald
0
100
Ten Tips & Tricks for a 🌱 transition
Avatar for Manu Carrasco Molina stuffmc
0
66
Tell your own story through comics
Avatar for letsgokoyo letsgokoyo
1
810
My Coaching Mixtape
Avatar for mlcsv mlcsv
0
48
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
Avatar for Marc Duiker marcduiker
35
2.4k

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