关于算法相关的4大问题

没有太多技术逻辑的分析这篇，就是有很多问题。
1.算法如何证明其正确性？
我经常在想包括LeetCode上面的算法，我们怎么知道它是正确的或者可靠的。是否需要运用数学的知识证明。也行这看上去不重要，但感觉还是很重要。
2.算法的时间和空间极限是什么？
就像排序有很多算法，是否算法的时间复杂度有极限。无论算法怎么写，时间复杂度只能到那里了
空间亦是如此。
3.空间复杂度和时间复杂度什么关系？
是否存在类似反比或者其它关系。因为物理上时间和空间可能有关系。那算法的时间复杂度和空间复杂度那？是否时间复杂度增加空间复杂度就一定会减小吗？
4.算法的有效寻找方法是什么？算法方法的种类数量是否有极限？
是否有效的方法可以寻找算法，算法的方法数量是否有极限。例如排序算法，如何证明人类已经发现了所有的排序算法，而不存在没有被发现的排序算法。或者如何证明排序算法的方法是无穷个的。或者排序算法的方法个数是有限的，但是人类还没有发现全。

也许这些问题已经有了答案，只是我不知道。但是我还是想记录一下我心中的疑问。奈何技术有限，时间也有限，暂时没有办法破解这些问题。