The McCulloch–Pitts Paper from the Perspective of Mathematical Logic

Autor:	Tin Perkov
Rok vydání:	2020
Předmět:	Mathematical logic TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Perspective (geometry) Artificial neural network Fragment (logic) Computer science Simple (abstract algebra) Calculus Mathematical proof Past tense Logical calculus
Zdroj:	Guide to Deep Learning Basics ISBN: 9783030375904
DOI:	10.1007/978-3-030-37591-1_2
Popis:	We analyze the McCulloch–Pitts seminal 1943 paper on a logical calculus for neural networks from the point of view of contemporary mathematical logic. Originally presented as a fragment of Carnap’s Language II, the cited calculus is regarded in this chapter as a simple propositional temporal language with past tense modalities. We rewrite proofs of main results of the McCulloch–Pitts paper using this language.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::7ddccfe41c91dd4b5f11befa250016b6 https://doi.org/10.1007/978-3-030-37591-1_2 Zobrazit plný text záznamu