주요 공개 기록
보이기
위키백과에서 사용할 수 있는 모든 기록이 표시됩니다. 기록 종류나 사용자 이름(대소문자 구별) 또는 영향을 받는 문서(대소문자 구별)를 선택하여 범위를 좁혀서 살펴볼 수 있습니다.
- 2022년 9월 22일 (목) 05:04 Monsieur Lichan 토론 기여님이 유한주의 문서를 만들었습니다 (새 문서: 수학철학에서 '''유한주의'''(有限主義, {{llang|en|finitism}})는 유한한 수학적 대상의 존재만을 받아들이는 입장이다. 무한 집합과 같은 무한적인 개념들을 유효한 것으로 보는 주류 수학과는 대조된다. 유한주의의 핵심적 주장은 무한 집합과 같은 무한한 대상은 실제로 존재하지 않는다는 것이다. 예를 들어 각각의 자연수들은 존재하는 것으...) 태그: 동음이의 링크
- 2022년 8월 8일 (월) 15:41 Monsieur Lichan 토론 기여님이 함수방정식 문서를 만들었습니다 (함수 방정식 문서로 넘겨주기) 태그: 새 넘겨주기
- 2022년 8월 8일 (월) 15:40 Monsieur Lichan 토론 기여님이 함수 방정식 문서를 만들었습니다 (새 문서: '''함수 방정식'''({{llang|en|functional equation}})은 넓은 의미로는 하나 또는 여러 개의 미지 함수가 포함된 방정식으로, 미분 방정식과 적분 방정식도 이에 포함된다. 한편 좁은 의미로는 몇가지 함수값 사이의 관련성을 나타내는 방정식만을 가리킨다. (예: 로그함수는 함수 방정식 <math>\log(xy) = \log(x) + \log(y)</math>에 의해 특정됨) 정의역이 자연수인...)
- 2022년 6월 20일 (월) 23:21 Monsieur Lichan 토론 기여님이 유제프 마리아 호에네-브론스키 문서를 만들었습니다 (유제프 마리아 호에네브론스키 문서로 넘겨주기) 태그: 새 넘겨주기
- 2022년 6월 20일 (월) 23:20 Monsieur Lichan 토론 기여님이 유제프 마리아 호에네브론스키 문서를 만들었습니다 (새 문서: thumb|right|250px| '''유제프 마리아 호에네-브론스키'''({{llang|pl|Józef Maria Hoene-Wroński}}, {{llang|fr|Josef Hoëné-Wronski}}, 1776년 8월 23일 - 1853년 8월 9일)는 폴란드 출신의 철학자, 수학자이자 박식가였다. 1776년 폴란드 포즈난 근교의 볼스틴(Wolsztyn)에서 지방 건축가의 아들로 태어났다. 어머니가 세상...) 태그: 동음이의 링크
- 2021년 1월 2일 (토) 13:44 Monsieur Lichan 토론 기여님이 위키백과:삭제 토론/정주희 (수학자) 문서를 만들었습니다 (새 문서: <noinclude>{{삭제 토론 상자}}</noinclude> == [[:{{풀기:SUBPAGENAME}}]] == 과거 생각없이 등록한 문서인데 다시 보니 저명성 등 문서 등재 기준에 맞...)
- 2020년 12월 7일 (월) 18:29 Monsieur Lichan 토론 기여님이 하위미분 문서를 만들었습니다 (새 문서: thumb|right|250px|한 볼록함수(파란색)의 x<sub>0</sub>에서의 '하위미분계수'들을 기울기(빨간색)로 나타낸 그래프....) 태그: 새 문서에 분류 없음
- 2020년 1월 3일 (금) 06:01 Monsieur Lichan 토론 기여님이 스테클로프 수학연구소 문서를 만들었습니다 (스테클로프 수학 연구소 문서로 넘겨주기) 태그: 새 넘겨주기
- 2020년 1월 3일 (금) 06:00 Monsieur Lichan 토론 기여님이 스테클로프 수학 연구소 문서를 만들었습니다 (새 문서: '''스테클로프 수학 연구소'''({{llang|ru|Математический институт имени В.А.Стеклова}}, {{llang|en|Steklov Institute of Mathematics}})는...)
- 2020년 1월 3일 (금) 05:53 Monsieur Lichan 토론 기여님이 야코프 시나이 문서를 만들었습니다 (야코프 그리고리예비치 시나이 문서로 넘겨주기) 태그: 새 넘겨주기
- 2019년 12월 21일 (토) 22:40 Monsieur Lichan 토론 기여님이 커리-하워드 동형 문서를 만들었습니다 (커리-하워드 대응 문서로 넘겨주기) 태그: 새 넘겨주기
- 2019년 12월 21일 (토) 22:39 Monsieur Lichan 토론 기여님이 커리-하워드 대응 문서를 만들었습니다 (새 문서: 논리학에서 '''커리-하워드 대응'''(Curry-Howard correspondence) 또는 '''커리-하워드 동형'''(Curry-Howard isomorphism)은 컴퓨터 프로그램과 증명...)
- 2019년 11월 27일 (수) 04:17 Monsieur Lichan 토론 기여님이 알렉시우스 마이농 문서를 만들었습니다 (새 문서: thumb|right|250px|알렉시우스 마이농 '''알렉시우스 마이농 리터 폰 한트슈흐스하임'''(Alexius Meinong Ritter von Handschuchsheim, 1853년...)
- 2019년 11월 27일 (수) 00:14 Monsieur Lichan 토론 기여님이 식별불가능자 동일성 원리 문서를 만들었습니다 (새 문서: '''식별불가능자의 동일성 원리'''(識別不可能者同一性原理, Identity of indiscernibles)는 그 지닌 성질이 완전히 동일한 대상들은 서로 같...)
- 2019년 11월 25일 (월) 04:52 Monsieur Lichan 토론 기여님이 양진주의 문서를 만들었습니다 (새 문서: '''양진주의'''(兩眞主義, dialetheism)은 참인 동시에 거짓인 진술이 존재할 수 있다고 보는 논리철학적 입장이다. 대표적인 제창자인 그레...)
- 2019년 11월 8일 (금) 05:24 Monsieur Lichan 토론 기여님이 타르스키 고정점 정리 문서를 만들었습니다 (크나스터-타르스키 정리 문서로 넘겨주기) 태그: 새 넘겨주기
- 2019년 11월 8일 (금) 05:23 Monsieur Lichan 토론 기여님이 크나스터-타르스키 정리 문서를 만들었습니다 (새 문서: 순서론에서, '''크나스터-타르스키 정리'''(Knaster-Tarski theorem) 또는 '''타르스키 고정점 정리'''(Tarski's fixed point theorem)는 완비 격자에서...)
- 2019년 10월 2일 (수) 01:16 Monsieur Lichan 토론 기여님이 에밀 포스트 문서를 만들었습니다 (새 문서: {{Infobox scientist |이름=에밀 포스트 |원어이름=Emil Post |image = File:Emil_Leon_Post.jpg |birth_date = {{birth date|1897|2|11}} |birth_place = 폴란드 입헌왕국...)
- 2019년 10월 2일 (수) 00:09 Monsieur Lichan 토론 기여님이 분류:논리학철학 문서를 분류:논리철학 문서로 이동했습니다
- 2019년 10월 2일 (수) 00:06 Monsieur Lichan 토론 기여님이 비고전 논리 문서를 만들었습니다 (새 문서: '''비고전 논리'''(非古典論理, {{llang|en|non-classical logic}})는 고전 논리와 대비되는 원칙을 가진 형식 논리학 체계를 가리...)
- 2019년 10월 1일 (화) 23:58 Monsieur Lichan 토론 기여님이 토론:3진 논리 문서를 토론:3치 논리 문서로 이동했습니다
- 2019년 10월 1일 (화) 23:58 Monsieur Lichan 토론 기여님이 3진 논리 문서를 3치 논리 문서로 이동했습니다
- 2019년 10월 1일 (화) 23:50 Monsieur Lichan 토론 기여님이 이치논리학 문서를 이치 논리 문서로 이동했습니다
- 2019년 10월 1일 (화) 23:39 Monsieur Lichan 토론 기여님이 고전논리학 문서를 고전 논리 문서로 이동했습니다
- 2019년 10월 1일 (화) 23:07 Monsieur Lichan 토론 기여님이 불 함수 문서를 만들었습니다 (새 문서: '''불 함수'''({{llang|en|Boolean function}})는 '''B''' = {0, 1}, k는 음이 아닌 정수일 때 ''f'' : '''B'''<sup>k</sup> → '''B''' 꼴의 함수 ''f'' 를 이르는 말...)
- 2019년 9월 12일 (목) 01:12 Monsieur Lichan 토론 기여님이 마이클 덤밋 문서를 만들었습니다 (마이클 더밋 문서로 넘겨주기) 태그: 새 넘겨주기
- 2019년 9월 12일 (목) 01:08 Monsieur Lichan 토론 기여님이 안드제이 모스토프스키 문서를 만들었습니다 (새 문서: {{Infobox scientist |이름=안드제이 모스토프스키 |원어이름=Andrzej Mostowski |image = |birth_date = 1913년 11월 1일 |birth_place = 오스트리아-헝가리 제...)
- 2019년 9월 12일 (목) 00:44 Monsieur Lichan 토론 기여님이 리처드 몬태규 문서를 리처드 몬터규 문서로 이동했습니다
- 2019년 9월 12일 (목) 00:35 Monsieur Lichan 토론 기여님이 리처드 몬테규 문서를 만들었습니다 (리처드 몬태규 문서로 넘겨주기) 태그: 새 넘겨주기
- 2019년 9월 12일 (목) 00:34 Monsieur Lichan 토론 기여님이 리처드 몬태규 문서를 만들었습니다 (새 문서: {{Infobox scientist |이름=리처드 몬태규 |원어이름=Richard Montague |image = |birth_date = {{birth date|1930|9|20}} |birth_place = 미국 캘리포니아 스톡...)
- 2019년 8월 24일 (토) 23:57 Monsieur Lichan 토론 기여님이 재귀적 집합 문서를 만들었습니다 (재귀 집합 문서로 넘겨주기) 태그: 새 넘겨주기
- 2019년 8월 23일 (금) 00:01 Monsieur Lichan 토론 기여님이 재귀 언어 문서를 만들었습니다 (새 문서: '''재귀 언어'''({{llang|en|recursive language}}) 또는 '''귀납 언어'''는 형식 언어의 재귀적인 부분집합이다. '''결정 가능 언어'''(d...)
- 2019년 8월 22일 (목) 23:43 Monsieur Lichan 토론 기여님이 재귀 집합 문서를 만들었습니다 (새 문서: 계산 가능성 이론에서, '''재귀 집합'''({{llang|en|recursive set}}) 또는 '''계산 가능 집합'''({{llang|en|computable set}})은 어떤 자연수가 그 집합에...)
- 2019년 8월 22일 (목) 22:02 Monsieur Lichan 토론 기여님이 토론:이론 전산학 문서를 토론:이론 컴퓨터 과학 문서로 이동했습니다 (일반적 명칭과 "컴퓨터 과학" 문서에 맞춤)
- 2019년 8월 22일 (목) 22:02 Monsieur Lichan 토론 기여님이 이론 전산학 문서를 이론 컴퓨터 과학 문서로 이동하면서 넘겨주기를 덮어썼습니다 (일반적 명칭과 "컴퓨터 과학" 문서에 맞춤)
- 2019년 8월 22일 (목) 22:02 Monsieur Lichan 토론 기여님이 덮어쓰기를 통해 이론 컴퓨터 과학 문서를 삭제했습니다 ("이론 전산학"에서 문서를 이동하기 위해 삭제함)
- 2019년 8월 20일 (화) 21:31 Monsieur Lichan 토론 기여님이 원시 재귀함수 문서를 만들었습니다 (원시 재귀 함수 문서로 넘겨주기) 태그: 새 넘겨주기
- 2019년 8월 20일 (화) 21:30 Monsieur Lichan 토론 기여님이 원시 재귀 함수 문서를 만들었습니다 (새 문서: 계산 가능성 이론에서 '''원시 재귀 함수'''({{llang|en|primitive recursive function}})은 원시 재귀와 합성 연산으로 정의되는 [...)
- 2019년 8월 20일 (화) 20:16 Monsieur Lichan 토론 기여님이 완전성 문서를 만들었습니다 (새 문서: 논리학에서 '''완전성'''이란, 형식 체계 내에서 모든 참인 문장이 증명 가능한 성질이다. 더욱 일반화하면, 특정 성질을 가진 명제가...)
- 2019년 8월 13일 (화) 01:52 Monsieur Lichan 토론 기여님이 형식체계 문서를 만들었습니다 (형식 체계 문서로 넘겨주기) 태그: 새 넘겨주기
- 2019년 8월 13일 (화) 01:52 Monsieur Lichan 토론 기여님이 형식 체계 문서를 만들었습니다 (새 문서: '''형식 체계'''(形式體系, {{llang|en|formal system}})는 공리들로부터 추론 규칙들을 통해 정리를 이끌어낼 수 있는 논리적 체계를 가리...)
- 2019년 8월 1일 (목) 23:20 Monsieur Lichan 토론 기여님이 시제논리 문서를 만들었습니다 (시제 논리 문서로 넘겨주기) 태그: 새 넘겨주기
- 2019년 8월 1일 (목) 23:19 Monsieur Lichan 토론 기여님이 시간논리 문서를 만들었습니다 (시간 논리 문서로 넘겨주기) 태그: 새 넘겨주기
- 2019년 8월 1일 (목) 23:19 Monsieur Lichan 토론 기여님이 지식표현 문서를 만들었습니다 (지식 표현 문서로 넘겨주기) 태그: 새 넘겨주기
- 2019년 8월 1일 (목) 23:19 Monsieur Lichan 토론 기여님이 지식의 표현 문서를 만들었습니다 (지식 표현 문서로 넘겨주기) 태그: 새 넘겨주기
- 2019년 8월 1일 (목) 23:18 Monsieur Lichan 토론 기여님이 지식 표현 문서를 만들었습니다 (새 문서: '''지식 표현'''(Knowledge Representation, '''KR''')이란 세계에 대한 정보를 컴퓨터 시스템이 사용할 수 있도록 가공 및 표현하기 위한 연구로, 인...)
- 2019년 8월 1일 (목) 23:07 Monsieur Lichan 토론 기여님이 시제 논리 문서를 만들었습니다 (시간 논리 문서로 넘겨주기) 태그: 새 넘겨주기
- 2019년 8월 1일 (목) 23:07 Monsieur Lichan 토론 기여님이 시간 논리 문서를 만들었습니다 (새 문서: 논리학에서 '''시간 논리'''(時間論里, temporal logic)는 시간의 개념을 나타낼 수 있는 논리 체계를 이르는 말이다. 특히 '''시제 논리'''(...)
- 2019년 8월 1일 (목) 19:59 Monsieur Lichan 토론 기여님이 인식 논리 문서를 만들었습니다 (새 문서: '''인식 논리'''(Epistemic logic)는 앎의 개념을 나타내는 양상 논리 체계의 일종이다. 본래 C. I. Lewis 등이 연구한 바 있으며 솔 크립키의...) 태그: 새 문서에 분류 없음
- 2019년 7월 28일 (일) 19:09 Monsieur Lichan 토론 기여님이 2차 술어 논리 문서를 만들었습니다 (2차 논리 문서로 넘겨주기) 태그: 새 넘겨주기