FedSearch - Federated network search engine

Jim Donegan ✅ · @jimdonegan

1397 followers · 3868 posts · Server mastodon.scot

https://www.youtube.com/watch?v=HeQX2HjkcNo&ab_channel=Veritasium

#RussellParadox #BertrandRussell #Philosophy #PhilosophyOfLanguage #PhilosophyOfLogic #Logic #Math #Maths #Mathematics #SetTheory #Sets #Predicates #Subjects #Paradox #LogicalParadox #Contradiction #Contradictions #Incompleteness #IncompletenessTheorem #Goedel #Hilbert

#hilbert #goedel #incompletenesstheorem #incompleteness #contradictions #contradiction #logicalparadox #paradox #subjects #predicates #sets #settheory #mathematics #maths #logic #philosophyoflogic #PhilosophyOfLanguage #philosophy #bertrandrussell #russellparadox #fundamentalflaw #math #veritasium

Last updated 2 years ago

Original post

Mike Lensi · @philbro

44 followers · 169 posts · Server mstdn-social.social.shrimpcam.pw

Sometimes philosophy sounds like this (not joking):

(NP*) Given any zodlite ryma r and given any bumid b that does not fruminize r, there is more than one zodlite ryma that padveates b and that bellerates r.

#philosophy #Godel #Gödel #logic #IncompletenessTheorem

#incompletenesstheorem #logic #Godel #philosophy

Last updated 2 years ago

Original post

Mike Lensi · @philbro

15 followers · 49 posts · Server mstdn.social

Sometimes philosophy sounds like this (not joking):

(NP*) Given any zodlite ryma r and given any bumid b that does not fruminize r, there is more than one zodlite ryma that padveates b and that bellerates r.

#philosophy #Godel #Gödel #logic #IncompletenessTheorem

#incompletenesstheorem #logic #Godel #philosophy

Last updated 2 years ago

Original post