David J. Webb, Ph.D.

2.6K posts

David J. Webb, Ph.D. banner
David J. Webb, Ph.D.

David J. Webb, Ph.D.

@DJWebbMath

Logician, musician, special edition. I run upper division math at Chaminade University, and study computability theory/LEAN when I can. Opinions my own. He/him.

Honolulu, HI شامل ہوئے Haziran 2021
30 فالونگ220 فالوورز
Joel David Hamkins
Joel David Hamkins@JDHamkins·
*kind of argument...
Notre Dame, IN 🇺🇸 English
1
0
2
492
Joel David Hamkins
Joel David Hamkins@JDHamkins·
Quiz in my Infinity class. Give a self-contained argument that the set of real numbers is uncountable. Be sure to state exactly what this means, and probably it would be good to mention the name of the kind argument you are providing.
English
10
0
36
5K
David J. Webb, Ph.D.
David J. Webb, Ph.D.@DJWebbMath·
@martysa_137 @DevinHS13 No Gallifreyan return was going to live up to the hype, but it was pretty clearly always where the show was going since 2005 (explicitly since 2013). May as well subvert expectations ¯\_(ツ)_/¯ Character assassination? “The Doctor goes too far” is not remotely out of character
English
1
0
0
34
Marty Sian-Adams
Marty Sian-Adams@martysa_137·
@DJWebbMath @DevinHS13 In DIH Missy's plan makes absolutely 0 sense whatsoever & contradicts so much of the episode that the whole thing is just a complete mess. HB is an hour of character assassinations & a butchered attempt at "arcs" and wastes the return of a planet that should've just stayed dead.
English
1
0
0
31
David J. Webb, Ph.D.
David J. Webb, Ph.D.@DJWebbMath·
@martysa_137 @DevinHS13 Did we watch the same episode? “Moffat bait and switches a Gallifreyan epic into a character piece about the Doctor and Clara, stuffed full of cracked fun house reflections that never do anything so crass as to resolve” is one of the show’s finest moments
English
1
0
1
54
David J. Webb, Ph.D. ری ٹویٹ کیا
Philippe-Antoine Hoyeck
P1. If my post contained a logical fallacy, then I'd be very upset. P2. I am very upset. C. Therefore, my post contains a logical fallacy.
English
78
38
575
15.6K
David J. Webb, Ph.D.
David J. Webb, Ph.D.@DJWebbMath·
@KamerynJW The inscribed book skeeved me out so bad. You can inscribe a book to student when they graduate, and the inscription had better be milquetoast as fuck. Biss failed this on both counts!
English
0
0
1
53
David J. Webb, Ph.D. ری ٹویٹ کیا
David J. Webb, Ph.D. ری ٹویٹ کیا
Basil🧡
Basil🧡@LinkofSunshine·
To quote the sometimes great Nassim Taleb - “is it a 10 sigma event or are you wrong about the world Unless the information came from God, you can reject the Gaussian distribution”
Micah Adams@MAdamsStatGuy

Bam Adebayo broke math. His 83-point game was 8.5 standard deviations above his career average (or ~1 in 53 quadrillion) Based on career avgs, its like: Patrick Mahomes passing for 915 yards Justin Verlander throwing 214 pitches in a start Wilt Chamberlain grabbing 79 rebounds

English
13
51
1.8K
87.2K
Matthew
Matthew@DiscipleOfBrad·
It’s never going to get better than these two, I’m afraid
Matthew tweet media
English
12
101
764
10K
David J. Webb, Ph.D.
David J. Webb, Ph.D.@DJWebbMath·
@OomfOfAnOomf @Jankfessor_YGO While it’s a good setup for the joke, the first part just isn’t true. Also my knowledge of this comes from being a mathematician, not a YuGiOh player, so I’m gonna need more context on that punchline 😅
English
1
0
1
23
oomf in law
oomf in law@OomfOfAnOomf·
@DJWebbMath @Jankfessor_YGO both games have been proven to be able to simulate a turing machine, but only yugioh has been proven to be able to force your opponent to reenact 911 in within its card game
English
1
0
4
89
Jankfessor
Jankfessor@Jankfessor_YGO·
Holy shit lmao
Seamless@shiropen2

遊戯王に必勝法はある? “あっても分からない”と数学的に証明と報告。「Π¹₁完全」で暫定MTG超えの複雑さ levtech.jp/media/article/… ある戦略が絶対勝てるかはどんなコンピュータでも判定できないと証明。八汰烏などを用い遊戯王上にチューリングマシンを再現し検証→現時点で遊戯王が一番複雑なゲーム

English
2
55
966
100K
Aidan* (he/him)
Aidan* (he/him)@TwstdPrtzl13·
when do moffat era fans get their nostalgia bait
English
45
120
1K
38.6K
David J. Webb, Ph.D.
David J. Webb, Ph.D.@DJWebbMath·
@_TheSmartAlec1 Hbomberguy’s Doctor Who takes are consistent abysmal, which is incredible given the care he puts into other work
English
0
0
0
15
David J. Webb, Ph.D.
David J. Webb, Ph.D.@DJWebbMath·
@somedumbdrummer @GunnerDobbins That’s what I keep saying! Plus it let him - the unofficial face of the show - literally handoff the TARDIS to his successor. Letting one Doctor react with awe to the next was a great way to build goodwill for the incoming incarnation. Shame Davies squandered it (Space Babies).
English
1
0
0
23
somedumbdrummer
somedumbdrummer@somedumbdrummer·
@GunnerDobbins There was no other option for the 60th, why do people keep forgetting that
English
3
1
4
456
David J. Webb, Ph.D.
David J. Webb, Ph.D.@DJWebbMath·
@shiropen2 Unfortunately this paper’s claim is far stronger than what it actually proves.
English
0
1
1
1.8K
Seamless
Seamless@shiropen2·
遊戯王に必勝法はある? “あっても分からない”と数学的に証明と報告。「Π¹₁完全」で暫定MTG超えの複雑さ levtech.jp/media/article/… ある戦略が絶対勝てるかはどんなコンピュータでも判定できないと証明。八汰烏などを用い遊戯王上にチューリングマシンを再現し検証→現時点で遊戯王が一番複雑なゲーム
Seamless tweet media
日本語
31
1.6K
4.8K
629.8K
David J. Webb, Ph.D.
David J. Webb, Ph.D.@DJWebbMath·
@Jankfessor_YGO It certainly does not surpass Magic the Gathering, where an arbitrary computer program can be encoded into the game state, rather than outsourced to the strategy used to play the game!
English
1
0
2
516
David J. Webb, Ph.D.
David J. Webb, Ph.D.@DJWebbMath·
@Jankfessor_YGO Sorry, no, this paper does not prove nearly so strong a claim. They show that an arbitrary natural number can be encoded into YuGiOh, which is impressive for YuGiOh but kind of a nothingburger mathematically.
English
1
0
4
1.9K
David J. Webb, Ph.D.
David J. Webb, Ph.D.@DJWebbMath·
@OrganizerMemes Perhaps the longer video gets into it, but it’s not immediately clear how the frame shift from multiple revolutions to an ongoing one helps us make sense of the times we live in. Fascinating history, though!
English
0
0
1
115
Organizermemes
Organizermemes@OrganizerMemes·
I love this video
English
154
2.2K
20.1K
774.4K
David J. Webb, Ph.D. ری ٹویٹ کیا
Lost
Lost@Navier_Tokes·
@mattyglesias "How much tax do I owe"? "Oh thats easy its just 'int_0^salary{f(x)}dx'
English
21
3
924
23.9K