6 ms·

Is it known that there are fewer than infinity tools?

• lazide 11mo ago
  For any given time period N, if it takes > 0 time or effort to make a tool, then there are provably less possible tools than infinity for sure. If we consider time period of length infinity, then it is less clear (I don’t have room in the margins to write out my proof), but since near as we can tell we don’t have infinity time, does it matter?
  • deleted 11mo ago
    [deleted]
• jobigoud 11mo ago
  I would assume that for any given tool you could make a "tool maker" tool.
  • ModernMech 11mo ago
    You make a tool, then a tool factory, then a tool factory factory, ad infinitum.
    • logtrees 11mo ago
      Sprinkle in minimization and virtualization and it's extremely cool!
  • kridsdale1 11mo ago
    There is no ASML toolmaker maker.
    • logtrees 11mo ago
      Not yet, but could there be?