검색 결과

그 후인 1936년 처치는 독립적으로 현재에는 유형 없는 람다 대수라고 불리는 계산에 관련한 부분을 출판했다.<ref>{{저널 인용|first=A. |la [[분류:1936년 컴퓨팅]] ...

1936년 앨런 튜링은 계산하는 기계를 대표할 수 있는 가상의 장치를 만들었고 ...강의를 들고 튜링은 그 가상의 장치를 생각해내었다고 한다.(더 자세한 사실은 역사부분을 참조하시오) 그는 이 논문을 런던 수학회지에 1936년 5월 31일에 ''제출하였으나''(참고: 호지스 1983:112), 정작 이 논문이 ''출판된'' 것은 1937년 초였고, 그 해 2월 ...