The main thing that keeps me using Windows and not Linux is a tool to index folders and files from all my DVDs and external hard disks. It also accounts for total size of each folder and browse the archive.
I only use the search file/folder name feature, I don't even need any content indexing that this tool has. It just needs to scale to Terabytes size (like millions of files/folders) and optionally do de-duplication.
If you know such tool on Linux, it would really help me to be less dependent on Windows. Or maybe someone you can build such a tool on Linux. I tried to create my own tool in Java but it took too much DRAM to index the many files I have. This Win tool indexes all my files and folders in a file of 1-200MB and searches all in 10-30 seconds. No server/database in involved, just a standalone tool.
I share the tool just for reference. The tool didn't had any update for years, I hope the programmer is still alive and healthy. https://www.whereisit-soft.com/
I only "believe" in the computable numbers - that can be defined by an algorithm at arbitrary precision.
That includes all rationals along with irrational that we have a way to approximate by algorithms - like sqrt(2) and PI. It does not include the incalculable numbers like Omega.
Being linked to algorithms, such numbers are only countable many, so they cannot contain "most" of irrational and therefore they lack most of "Real numbers".