Tespia
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
tildes__skybrian@crustaceanson.theshelf.topM to Tildes - science@crustaceanson.theshelf.topEnglish · 1 month ago

The fall of the theorem economy

davidbessis.substack.com

external-link
message-square
0
link
fedilink
  • cross-posted to:
  • LongformIndepth@lemmy.world
1
external-link

The fall of the theorem economy

davidbessis.substack.com

tildes__skybrian@crustaceanson.theshelf.topM to Tildes - science@crustaceanson.theshelf.topEnglish · 1 month ago
message-square
0
link
fedilink
  • cross-posted to:
  • LongformIndepth@lemmy.world
How AI could destroy mathematics and barely touch it

tildes score: 18 · tags: —

Canonical thread

alert-triangle
You must log in or register to comment.

Tildes - science@crustaceanson.theshelf.top

tildes_science@crustaceanson.theshelf.top

Subscribe from Remote Instance

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !tildes_science@crustaceanson.theshelf.top
lock
Community locked: only moderators can create posts. You can still comment on posts.

Imported Tildes discussions (group ~science)

Visibility: Public
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 1 user / day
  • 7 users / week
  • 27 users / month
  • 27 users / 6 months
  • 0 local subscribers
  • 5 subscribers
  • 60 Posts
  • 0 Comments
  • Modlog
  • mods:
  • radar-admin@crustaceanson.theshelf.top
  • tildes__chiasmic@crustaceanson.theshelf.top
  • tildes__jayrh@crustaceanson.theshelf.top
  • tildes__bme@crustaceanson.theshelf.top
  • tildes__kremor@crustaceanson.theshelf.top
  • tildes__evergoe@crustaceanson.theshelf.top
  • tildes__arch@crustaceanson.theshelf.top
  • tildes__kacey@crustaceanson.theshelf.top
  • tildes__trim@crustaceanson.theshelf.top
  • tildes__prodiggles@crustaceanson.theshelf.top
  • tildes__omnicrola@crustaceanson.theshelf.top
  • tildes__grenno@crustaceanson.theshelf.top
  • tildes__post_below@crustaceanson.theshelf.top
  • tildes__timwi@crustaceanson.theshelf.top
  • tildes__skybrian@crustaceanson.theshelf.top
  • tildes__thearctic@crustaceanson.theshelf.top
  • tildes__heraplem@crustaceanson.theshelf.top
  • tildes__chocobean@crustaceanson.theshelf.top
  • tildes__dustylungs@crustaceanson.theshelf.top
  • tildes__definit_c8a0@crustaceanson.theshelf.top
  • tildes__kerry56@crustaceanson.theshelf.top
  • tildes__zipf_slaw@crustaceanson.theshelf.top
  • tildes__unwonte_b6fd@crustaceanson.theshelf.top
  • tildes__pavouk106@crustaceanson.theshelf.top
  • tildes__hamster_c941@crustaceanson.theshelf.top
  • tildes__plutonic@crustaceanson.theshelf.top
  • tildes__chewonb_a902@crustaceanson.theshelf.top
  • tildes__dingusm_951a@crustaceanson.theshelf.top
  • tildes__carsonc@crustaceanson.theshelf.top
  • tildes__tomf@crustaceanson.theshelf.top
  • tildes__eji1700@crustaceanson.theshelf.top
  • tildes__asteroid@crustaceanson.theshelf.top
  • tildes__narry@crustaceanson.theshelf.top
  • tildes__updawg@crustaceanson.theshelf.top
  • tildes__vord@crustaceanson.theshelf.top
  • tildes__qoal@crustaceanson.theshelf.top
  • tildes__augustu_6efb@crustaceanson.theshelf.top
  • tildes__mimicsquid@crustaceanson.theshelf.top
  • tildes__pepetto@crustaceanson.theshelf.top
  • tildes__hobbes64@crustaceanson.theshelf.top
  • tildes__smores@crustaceanson.theshelf.top
  • tildes__zod000@crustaceanson.theshelf.top
  • tildes__mat@crustaceanson.theshelf.top
  • tildes__voidsage@crustaceanson.theshelf.top
  • tildes__slade@crustaceanson.theshelf.top
  • tildes__cryptic_4d93@crustaceanson.theshelf.top
  • tildes__h3x@crustaceanson.theshelf.top
  • tildes__monarda@crustaceanson.theshelf.top
  • tildes__cutmetal@crustaceanson.theshelf.top
  • tildes__whbboyd@crustaceanson.theshelf.top
  • tildes__barney@crustaceanson.theshelf.top
  • tildes__unkz@crustaceanson.theshelf.top
  • tildes__wes@crustaceanson.theshelf.top
  • tildes__pete_th_3414@crustaceanson.theshelf.top
  • tildes__riqq@crustaceanson.theshelf.top
  • tildes__fal@crustaceanson.theshelf.top
  • tildes__fiachra@crustaceanson.theshelf.top
  • tildes__fxgn@crustaceanson.theshelf.top
  • tildes__patienc_a79d@crustaceanson.theshelf.top
  • tildes__crespyl@crustaceanson.theshelf.top
  • tildes__r3qn65@crustaceanson.theshelf.top
  • tildes__0xsim@crustaceanson.theshelf.top
  • tildes__loopdriver@crustaceanson.theshelf.top
  • tildes__throwdo_d94e@crustaceanson.theshelf.top
  • tildes__first_m_6bcb@crustaceanson.theshelf.top
  • tildes__sunbutt23@crustaceanson.theshelf.top
  • tildes__cfabbro@crustaceanson.theshelf.top
  • tildes__weldawa_cef8@crustaceanson.theshelf.top
  • tildes__asinine@crustaceanson.theshelf.top
  • tildes__granfdad@crustaceanson.theshelf.top
  • tildes__dfgdanger@crustaceanson.theshelf.top
  • tildes__lostwax@crustaceanson.theshelf.top
  • tildes__steelpaladin@crustaceanson.theshelf.top
  • tildes__dovey@crustaceanson.theshelf.top
  • tildes__boxer_d_c265@crustaceanson.theshelf.top
  • tildes__sparksbet@crustaceanson.theshelf.top
  • tildes__mantrid@crustaceanson.theshelf.top
  • tildes__sonaxaton@crustaceanson.theshelf.top
  • tildes__derekiscool@crustaceanson.theshelf.top
  • tildes__kari@crustaceanson.theshelf.top
  • tildes__stu2b50@crustaceanson.theshelf.top
  • tildes__kovboydan@crustaceanson.theshelf.top
  • tildes__englerdy@crustaceanson.theshelf.top
  • tildes__baeocystin@crustaceanson.theshelf.top
  • tildes__akir@crustaceanson.theshelf.top
  • tildes__0x29a@crustaceanson.theshelf.top
  • tildes__davek804@crustaceanson.theshelf.top
  • tildes__stewedrabbit@crustaceanson.theshelf.top
  • tildes__cutefox@crustaceanson.theshelf.top
  • tildes__perryapsis@crustaceanson.theshelf.top
  • tildes__banazir@crustaceanson.theshelf.top
  • tildes__flappyfish@crustaceanson.theshelf.top
  • tildes__pistos@crustaceanson.theshelf.top
  • tildes__teaearl_e423@crustaceanson.theshelf.top
  • tildes__balooga@crustaceanson.theshelf.top
  • tildes__macleod@crustaceanson.theshelf.top
  • tildes__evie@crustaceanson.theshelf.top
  • tildes__snake_case@crustaceanson.theshelf.top
  • tildes__jcphoenix@crustaceanson.theshelf.top
  • tildes__fnulare@crustaceanson.theshelf.top
  • tildes__pelagiu_08df@crustaceanson.theshelf.top
  • tildes__rich_27@crustaceanson.theshelf.top
  • tildes__mild_takes@crustaceanson.theshelf.top
  • tildes__c_cab@crustaceanson.theshelf.top
  • tildes__queresote@crustaceanson.theshelf.top
  • tildes__markpelly@crustaceanson.theshelf.top
  • tildes__jxm@crustaceanson.theshelf.top
  • tildes__nukeman@crustaceanson.theshelf.top
  • tildes__nemoder@crustaceanson.theshelf.top
  • tildes__eric_th_dd36@crustaceanson.theshelf.top
  • tildes__preposterous@crustaceanson.theshelf.top
  • tildes__papasquat@crustaceanson.theshelf.top
  • tildes__minori@crustaceanson.theshelf.top
  • tildes__thereticent@crustaceanson.theshelf.top
  • tildes__residue_10c1@crustaceanson.theshelf.top
  • tildes__fidwell@crustaceanson.theshelf.top
  • tildes__rheingo_6256@crustaceanson.theshelf.top
  • tildes__mycketf_4f55@crustaceanson.theshelf.top
  • tildes__turtlec_f765@crustaceanson.theshelf.top
  • tildes__greg@crustaceanson.theshelf.top
  • tildes__lonbar@crustaceanson.theshelf.top
  • tildes__happy_s_f512@crustaceanson.theshelf.top
  • tildes__glesica@crustaceanson.theshelf.top
  • tildes__raze2012@crustaceanson.theshelf.top
  • tildes__uniquel_d319@crustaceanson.theshelf.top
  • tildes__nsutdwa@crustaceanson.theshelf.top
  • tildes__tardigrade@crustaceanson.theshelf.top
  • tildes__archevel@crustaceanson.theshelf.top
  • tildes__moocow1452@crustaceanson.theshelf.top
  • tildes__tauon@crustaceanson.theshelf.top
  • tildes__all_sum_aa0d@crustaceanson.theshelf.top
  • tildes__bwerf@crustaceanson.theshelf.top
  • tildes__vili@crustaceanson.theshelf.top
  • tildes__rng@crustaceanson.theshelf.top
  • tildes__royalhenoil@crustaceanson.theshelf.top
  • tildes__streblo@crustaceanson.theshelf.top
  • tildes__text_garden@crustaceanson.theshelf.top
  • tildes__omid@crustaceanson.theshelf.top
  • tildes__artvandelay@crustaceanson.theshelf.top
  • tildes__creesch@crustaceanson.theshelf.top
  • tildes__tanglisha@crustaceanson.theshelf.top
  • tildes__economichael@crustaceanson.theshelf.top
  • tildes__captain_2ba0@crustaceanson.theshelf.top
  • tildes__slabs37@crustaceanson.theshelf.top
  • tildes__nomadiccoder@crustaceanson.theshelf.top
  • tildes__cheep_cheep@crustaceanson.theshelf.top
  • tildes__myrrh@crustaceanson.theshelf.top
  • tildes__bluefly@crustaceanson.theshelf.top
  • tildes__knockle_02bd@crustaceanson.theshelf.top
  • tildes__bigbadwolf@crustaceanson.theshelf.top
  • tildes__wuju@crustaceanson.theshelf.top
  • tildes__iiiiiiiiii@crustaceanson.theshelf.top
  • tildes__sparkle@crustaceanson.theshelf.top
  • tildes__adamlang@crustaceanson.theshelf.top
  • tildes__cptbluebear@crustaceanson.theshelf.top
  • tildes__canniba_4089@crustaceanson.theshelf.top
  • tildes__lukezaz@crustaceanson.theshelf.top
  • tildes__smiles134@crustaceanson.theshelf.top
  • tildes__scarecrw@crustaceanson.theshelf.top
  • tildes__grayscail@crustaceanson.theshelf.top
  • tildes__sunset@crustaceanson.theshelf.top
  • tildes__uaeaaie@crustaceanson.theshelf.top
  • tildes__carrow@crustaceanson.theshelf.top
  • tildes__trobertson@crustaceanson.theshelf.top
  • tildes__adys@crustaceanson.theshelf.top
  • tildes__tangibl_9261@crustaceanson.theshelf.top
  • tildes__slomomonday@crustaceanson.theshelf.top
  • tildes__psi@crustaceanson.theshelf.top
  • tildes__thecake_8dd9@crustaceanson.theshelf.top
  • tildes__johz@crustaceanson.theshelf.top
  • tildes__bakers_dozen@crustaceanson.theshelf.top
  • tildes__elcuello@crustaceanson.theshelf.top
  • BE: 0.19.11
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org