공식 과학이란 무엇입니까?

"형식 과학"은 공식 시스템을 사용하여 지식을 생성하는 연구 분야입니다. 수학은 프로토 타입의 예입니다. 다른 것에는 논리, 통계, 정보 이론 및 이론적 컴퓨터 과학이 포함됩니다. 실제 실험의 부재를 고려할 때 이것이 실제로 "과학"인지 아닌지에 대한 의문이 제기되었지만, 이러한 분야는 종종 과학에 집중되어 있습니다. 경험적 근거가 없지만 공식 과학은 일반적으로 매우 중요하며 실제로 모든 정량 과학은 그들에 달려 있습니다. 형식 과학이 진정한 과학인지 아닌지에 대한 논쟁이 계속되고있다.

기원전 1800 년경 고대 역사에서 수학 텍스트는 당시 지구에서 가장 큰 도시인 바빌론의 위치 인 메소포타미아에서 등장합니다. 원래 목적은 노예 나 곡물과 같은 상품을 수량화하는 것이 었습니다. 기원전 600 년경 중국과 그리스에서 기원전 400 년경에는 논리의 초기 개발, 추론 방법의 명시 적 분석이있었습니다. 그리스에는 피타고라스, 소크라테스, 아리스토텔레스와 같은 위대한 고대 그리스 철학자들이있었습니다. 피에르 고 라스, 소크라테스, 아리스토텔레스는 피에르 드 페르마, 블 레즈 파스칼, 크리스티 아안 후이 겐 스와 같은 17 세기의 조명기구까지 현대와 논리와 과학에 대한 직관과 신념이 서구 세계를 지배했습니다. 킥 스타트는 현대적인 형태의 수학 개발을 시작했습니다.

정보 이론, 이론 컴퓨터 과학 및 현대 (바이에른) 통계는 20 세기 중반 클로드 섀넌 (Claude Shannon)과 존 폰 노이만 (Jon von Neumann)으로 거슬러 올라갑니다. Alan Turing도 중요한 기여를했습니다. 컴퓨터, 무선 신호 및 안테나 설계에 관한 이론은 모두 이러한 사상가들이 달성 한 이정표에 달려 있습니다. 이 영역은 모두 공식 과학의 중요한 부분입니다.

실험 방법과 분석에 수십 년의 혼란이 가해지면서 최근에는 "부드러운 과학"(사회 과학, 정치 과학 등)이 더욱 정량화되어 일이 이루어지는 방식의 근본적인 변화를 예고하고 있습니다. 심리학은 더욱 실험적이되었으며 이러한 결과 중 많은 부분이 프로이트와 같은 나이든 사상가들의 전통적인 지혜를 휩쓸고 있습니다. 실험 심리학은 종종 "인지 심리학"의 기치에 해당합니다.

이론 물리학은 진보를위한 수학의 발달에 크게 의존하는 것 같습니다. 이론 물리학은 오늘날 가장 진보 된 수학을 사용하며 결과와 예측을이 용어로 설명합니다.