하나님에 대한 수학적 확신 (수학의 언어로 진리를 탐구하다)

서진택

경북대학교컴퓨터공학과에입학하여1996년‘컴퓨터바둑’으로공학석사학위를받았다.박사과정중에는DNA유사성알고리즘과관련된연구를하고,1999년박사과정을수료하였다.2000년게임회사KOG의창업에참여하여엘소드(Elsword)등의온라인게임을개발하였다.2015년회사를떠나2016년부터부산의동서대학교InternationalCollege에서외국인유학생들을대상으로게임개발을가르치고있다.

모태신앙이지만,대학시절학과의성경공부를통해하나님을인격적으로영접하게되었다.대구의성산교회에서장립집사임직을받은후,현재는부산가야대로에있는성안교회에두딸과함께출석하고있다.

알고리즘의증명과정과과학의명료함을좋아하며,신입생을대상으로대학수학을가르치면서한수식이주는아름다움에매료되었다.과학과우주론에도관심이있는저자는현대과학의관측과측정데이터에대해환원주의적인해석을한차원을높이면,그것이창조주의존재를변증함을알리고싶어한다.

게임서버관련논문과저서《만화가있는C》(성안당),《게임개발자를위한C++》(민프레스),《MFC의구조와원리》(한빛미디어)등을집필했다.

추천의글
저자의글

I부수학의아름다움

1장게임의시작:함수
수식,식,방정식과함수
좌표계와차원
f(x)=x²의함수그리기
지수의성질
f(x)=x²의역함수
-역함수그리기
무한에대한직관
f(x)=x²의접하는직선
시간에대한직관
[표준수학]루트(root)

2장기본함수:파워함수
파워함수(PowerFunction)
파워함수의역함수
파워함수의접하는직선함수
선,직선조각,반직선(line,linesegment,ray)
벡터(Vector)
베이시스(기저,Basis)
선형조합(LinearCombination)
공간은물리적대상인가?
복잡한수(complexnumber)
[표준수학]미분연산자
[표준수학]미분의역함수의의미
-간격(Interval)
-미분의결과식에서원래함수를찾기

3장기본함수:지수함수
지수함수(ExponentialFunction)
-희귀한지구
지수함수의역함수
지수함수의접하는직선함수
이상한수e
[표준수학]로그함수와로그의성질

4장기본함수:호의길이에대한투영된선분의길이함수
호에서투영한선분의길이구하기
이상한수p(pi,파이)
삼각함수(TrigonometricFunctions)
-sinc(x)함수
선분의길이에서호의길이구하기
-삼각함수와복소수
접하는직선의기울기구하기
[표준수학]코사인의법칙(Lawofcosines)
[표준수학]삼각함수의법칙
[표준수학]limx→0sin(x)/x=1의증명
[표준수학]cos'(x)=-sin(x)의증명

5장하나의아름다운수식
벡터의추가적인연산:내적
선형조합의간단한표기법
행렬(Matrix)
-일반식에서행렬표현식을찾기
-연산자로사용하는행렬
-행렬과인공지능
결정요인(Determinant,행렬식)
-소행렬식(마이너,Minor)
벡터의추가적인연산:외적
-이차원벡터에대한외적
복소수의곱셈
오일러의공식(Euler’sFormula)
-오일러공식의증명
-아름다운오일러공식의응용
-함수개념의확장
-소수(primenumber)의규칙과오일러공식
수학에서가장아름다운표(table)
-우리의일상과오일러의항등식
-공학과과학의한계
[표준수학]미분공식

II부변환

6장변환
이야기의흐름
실세계를인식하는방법
클래스(Class)와인스턴스(Instance)
-인스턴스의구조
시공간의종료조건
변환의실재
변환(Transformation)
-쉬어변환(ShearTransform)
-크기변환(ScaleTransform)
-회전변환(RotationTransform)
-선형변환(LinearTransformation)의특징
-하나이상의벡터입력에대한표현
-행렬의역구하기
-여인자행렬과수반행렬
-역행렬(InverseMatrix)의정의
-동차함수(HomogeneousFunction)
-선형시스템(LinearSystem)의해석
-동차행렬(HomogeneousMatrix)
-어파인변환(AffineTransformation)
-삼차원으로의확장
투영변환(ProjectionTransform)
-차원사이의변환
-창조의시간
-사건에대한인식

7장시간의상대성
세상에서가장아름다운방정식
공간과시간의상대성
-초기우주에대한사고실험
사차원시공간의표현
아인슈타인변환
동시성의상대성
-공존하는과거와미래
-전지전능과자유의지
시간의상대성
두가지기록
-기본입자
-우주의역사
설계(Design)
-컴퓨터가정보를표현하는방법
-사진수와DNA
-컴퓨터의구조
-세포의구조
-유전자조작
-이진열데이터조작
-이진열코드조작
-우연히만들어진DNAOS
-요약및DNA해석방향
-동물과구분할수없는로봇을만드는것이가능한가?
-외계생명체는존재하는가?
물질의이중성
-우주진화와생명진화의확률
-창조자의침묵

III부복음

8장심판,복음
인간이겪는세단계시험
4차산업혁명과메타버스
고대인의미래에대한묘사
악한목적으로사용되는컴퓨터
-포르노중독(Pornaddiction)
부재반대와존재반대(AbsenceOppositevs.ExistenceOpposite)
-본질적인불가능
법칙과규칙:자연법
-법칙(Law)과규칙(Rule)
-하나님께서처하신상황
초대