История изменений

Да и в плане логики языка int main (int, char*[]) и int main () – это одно и то же

Это одно и тоже (в том числе и с аргументом еще и char **env) потому что как и другие функции с произвольным количеством аргументов они должны работать и так и этак с передачей аргументов через стек. Такой синтаксис языку C дал именно Юникс — передача в стартовую функцию исполняемого бинарника argv, а для удобства _start вычисляет argc и добавляет сформированный env из оговоренного вектора памяти.

Да и в плане логики языка int main (int, char*[]) и int main () – это одно и то же

Это одно и тоже (в том числе и с аргументом еще и char **env) потому что как и другие функции с произвольным количеством аргументов они должны работать и так и этак с передачей аргументов через стек. Такой синтаксис языку C дал именно Юникс — передача в стартовую функцию исполняемого бинарника argc и векторов argv и env.