[전산통계]구조적 알고리즘으로써의 파라독스와 메타 언어에 대한 고찰

목차

I. Introduction
II. 파라독스에 대한 체계적 접근
III. 메타 언어와 유형 이론
IV. 시뮬레이션
V. 맺음말 - 가능성

본문내용

I. Introduction
고도로 지식화되고 정보화된 현대 사회에서 논리적이고 체계적인 사유능력의 중요성은 날로 증대하고 있다. 이것은 과학적 방법론(Scientific Methodology)을 동원한 수학적 논리력을 바탕으로 하며 많은 부분이 고대 그리스의 철학자들과 수학자들로부터 전해져온 것이다. 그러나 고도로 논리화된 정보 사회의 일상 생활에서도 막연한 상식을 넘어선 논리적 모순은 매우 많다. 특히 컴퓨터 알고리즘에서 나타나는 수많은 논리적 모순들 - throw/예외, 실시간 오류, 무한 루프로 인한 과부하 및 시스템 파괴, recursive 용법의 자기 모순, 더 이상 참조할 수 없는 포인터에 대한 메모리 접근 등은 상황에 따라 엄청난 파국을 야기하기도 한다.
컴퓨터를 비롯한 각종 기계화된 언어들도 결국 인간 논리의 표현 방법인 언어에 불과할 뿐이므로 논리 모순의 해결책은 코딩 기법 이전에 엄밀한 철학적인 논리 체계를 요구한다. 다양한 파라독스에 대한 인류 초기의 언급은 각종 우화나 신화, 불경, 성경 등에서도 단편적으로 찾아볼 수 있으나 과학적이고 객관적인 사고 체계로써 다루어진 파라독스들은 고대 그리스의 철학자들과 소피스트들이 남긴 텍스트에 기초하고 있다. 따라서 철학적 논리 체계로써 파라독스를 임상적으로 진단하고 해법을 연구하는 것은 고대 그리스 철학에서 시작된다.
도처에 산재하는 파라독스들을 찾아내고 해결하는 것은 원론적으로 인류 사회에서 수행하는 매우 중요한 노력이다. 그러나 다수의 파라독스들을 현상적으로 수집하고 연구하는 것은 많은 노력과 시간을 요하므로, 전체적인 맥락에서 의미론적이고 집합론적인 체계화 및 해결책을 중심으로 논의를 전개하기로 한다. 또한 그 해결책으로 필연적으로 제시되는 사유 체계는 메타 언어를 기본 골격으로 한다.

참고자료

· ."la magie des paradoxes", Martin Gadner (프랑스판)
· .“나의 철학적 사고의 편력”, 버트랜드 러셀
· .“수학의 원리(Principia Mathematica)”, 버트랜드 러셀 & 알프레드 화이트헤드
· .“거북이가 아킬레스에게 한 말”, 루이스 캐롤
· .“산술의 기초”, 고틀로브 프레게(Gottlob Frege)
· .Scientific American, 1965. 4.
· .“The C Programming Language", Brian, Kerninghan, Dannis M.Ritchie, Prentice Hall, 1978
· .“Fundamentals of Data Structures in C", Ellis Horowitz, Sartaj Sahni, susan Anderson freed, Freeman and Company, 1993
· .“IBM PC/AT/UNIX-C 프로그래머를 위한 고급 C 언어 프로그래밍 기법”, 성현경, 임재현 편저, 연학사, 1993
· ."C Language & C++ Programming", 이병욱, 1996