프로그래밍은 유독 공리에 대한 합의가 없음

[익명(14.34)]

다른 이공계 학문은

불필요한 논쟁을 최소화하기 위해

공리를 세우고 그 위에서만 논하자늠

어차피 공리로 못 정하는거는 지금 당장 말해봐야 결과 도출 못함

[익명(210.57)]

프로그래밍에 대해 공리를 논할만한 부분이 있나? 공리로 논할 수준의 중대한 사항이라면 언어 레벨에서 이미 제약을 걸테고 그 외에는 사용자가 자유롭게 만들면 되는 부분들인데 공리를 따질만한 부분이 있나?

[프갤러 1(106.241)]

0과 1이라는 기초적인 원소들로 시작해서 각종 컴퓨터 아키텍쳐니 어셈블리 아스키 같은 기본적인 것들이 공리이고 그 위에서 자유롭게 집단끼리 약속을 할 수 있는게 컴퓨터공학의 장점인데 뭐 얼디까지의 약속을 원함