• 0 Posts
  • 126 Comments
Joined 1 year ago
cake
Cake day: July 2nd, 2023

help-circle















  • before gödel’s theorems can be formally stated, you have to make a lot of assumptions about axioms, and you have to pick which kinds of logical rules are “valid”, etc. and that all feels way more dicey to me than the actual content of gödels theorems.

    i definitely agree that gödels theorems can help to undercut the idea that math is this all knowing, objective thing and there’s one right way to do everything. but to me personally, i feel like the stuff that’s very close to the foundations is super sketchy. there are no theorems at that level, it’s just “we’re going to say these things are true because we think they are probably true”.



  • the math/philosophy overlap in set theory/logic makes me uneasy. the closer you get to it, the more the idea that “math is objective” starts to fade away. also pretty surreal to be learning philosophy/taking things as given in a math class. especially because you spend a lot of time proving that certain things are true, but you don’t ever say what it means for something to be true.


  • i would probably word it as something like:

    Robots.txt is a document that specifies which parts of a website bots are and are not allowed to visit. While it’s not a legally binding document, it has long been common practice for bots to obey the rules listed in robots.txt.

    in that description, i’m trying to keep the accessible tone that they were going for in the article (so i wrote “document” instead of file format/IETF standard), while still trying to focus on the following points:

    • robots.txt is fundamentally a list of rules, not a single line of code
    • robots.txt can allow bots to access certain parts of a website, it doesn’t have to ban bots entirely
    • it’s not legally binding, but it is still customary for bots to follow it

    i did also neglect to mention that robots.txt allows you to specify different rules for different bots, but that didn’t seem particularly relevant here.