Upgrade to Pro — share decks privately, control downloads, hide ads and more …
Sign up for free

Theorem's Aren't So Scary

Avatar for Daniel Takamori Daniel Takamori
July 26, 2015
Science
43
0

Theorem's Aren't So Scary

Some Greeks, Monoids and something called CAP

Avatar for Daniel Takamori

Daniel Takamori

July 26, 2015

More Decks by Daniel Takamori

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

Other Decks in Science

See All in Science
Visual Linear Algebra - Lecture at Shosen Grande
Avatar for Kenji Hiranabe hiranabe
0
650
機械学習 - 決定木からはじめる機械学習
Avatar for Y. Yamamoto trycycle
PRO
0
1.7k
データベース02: データベースの概念
Avatar for Y. Yamamoto trycycle
PRO
2
1.4k
CVPR2026_VGGTとその仲間たち
Avatar for 小島瑞貴 mickey_0226
0
1.2k
データベース14: B+木 & ハッシュ索引
Avatar for Y. Yamamoto trycycle
PRO
0
970
摂理と合理の肉体改造 — AI時代の減量を支える観測・制御・継続
Avatar for Kiyoshi Yoshida kiyoshi
0
3.7k
Build your own LLM, Live, with MicroGPT
Avatar for ianozsvald ianozsvald
0
160
コーヒー豆様核 (Coffee-bean nuclei) における形態学的サブタイピングと精選・焙煎特性の同定
Avatar for Teramoto Yuki jagupath
PRO
0
210
知能とはなにか　－ヒトとAIのあいだ－
Avatar for Y-h. Taguchi tagtag
PRO
0
230
Massey Ratings for Match Outcome Prediction in Table Tennis: Evidence of Greater Stability than the ITTF World Ranking
Avatar for konakalab konakalab
0
170
生成AI・プレプリント時代における 研究成果公開の再設計 ― トップカンファレンス文化はどこへ向かうのか / Redesigning the Dissemination of Research Outputs in the Age of Generative AI and Preprints — Where Is the Top-Conference Culture Heading?
Avatar for Kiyota Yoji, Ph.D. ykiyota
0
30k
データベース12: 正規化(2/2) - データ従属性に基づく正規化
Avatar for Y. Yamamoto trycycle
PRO
0
1.8k

Featured

See All Featured
Mind Mapping
Avatar for Hélio Medeiros helmedeiros
1
400
Discover your Explorer Soul
Avatar for Emna emna__ayadi
2
1.3k
The Curse of the Amulet
Avatar for Matthew Lei leimatthew05
3
16k
A Guide to Academic Writing Using Generative AI - A Workshop
Avatar for Kenji Saito ks91
PRO
1
520
SERP Conf. Vienna - Web Accessibility: Optimizing for Inclusivity and SEO
Avatar for Sara Fernández Carmona sarafernandez
2
1.6k
XXLCSS - How to scale CSS and keep your sanity
Avatar for Zaharenia Atzitzikaki sugarenia
250
1.3M
Design in an AI World
Avatar for tapps tapps
1
350
We Analyzed 250 Million AI Search Results: Here's What I Found
Avatar for Josh Blyskal joshbly
2
2k
Side Projects
Avatar for Sacha Greif sachag
456
43k
Leveraging LLMs for student feedback in introductory data science courses - posit::conf(2025)
Avatar for Mine Cetinkaya-Rundel minecr
1
440
Put a Button on it: Removing Barriers to Going Fast.
Avatar for kastner kastner
60
4.6k
For a Future-Friendly Web
Avatar for Brad Frost brad_frost
184
10k

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