Resultados da pesquisa

...livro ''Princípios das Matemáticas''.<ref>{{Citar livro | autor = RUSSELL, Bertrand | título = The Principles of Mathematics | idioma = inglês | local = Cambri O [[paradoxo do barbeiro]], semelhante na formulação ao de Russell, foi utilizado por [[Kurt Gödel]] para provar o seu [[Teorema da Incompletu ...

[[Bertrand Russell]] e [[Alfred North Whitehead]] foram defensores desta linha de pensamento i ...desanimou Frege, que acabou abandonando o projeto, mas foi continuado por Russell e [[Alfred North Whitehead|Whitehead]].<ref>{{Cita publicación |url=https:/ ...

...na se a famosa avaliação de [[descrições definidas]] de [[Bertrand Russell|Bertrand Russe]]<nowiki/>l é assumida. Russel alegou que a interpretação correta de ...sell's mathematical logic", in Schilpp (ed.), ''The Philosophy of Bertrand Russell'', Evanston and Chicago: Northwestern University Press, pp.&nbsp;125–53. ...

...ipia Mathematica]]|ultimo=Whitehead|primeiro=Alfred North|ultimo2=Bertrand Russell|ano=1910|volume=Vol. I}}</ref> ...

...]] e [[A. N. Whitehead]] refere-se a "relações que geram uma série"<ref>B. Russell & A. N. Whitehead (1910) [https://quod.lib.umich.edu/u/umhistmath/AAT3201.0 ...

...- é o de [[Bertrand Russell]], em sua teoria das [[descrições definidas]]. Russell distingue a ''ocorrência primária'' de uma descrição da ''ocorrência secund admitiria, segundo Russell, duas interpretações, conforme a descrição definida “o autor de ''Waverley' ...

[[Bertrand Russell]] expressou o que entendia como o seu senso de beleza matemática da seguint ...l+to+any+part+of+our+weaker+nature+without+the+gorgeous+trappings+inauthor:Russell|acessodata=2008-08-22}}</ref> ...

...i declarado como um [[teorema]] da [[lógica proposicional]] por [[Bertrand Russell|Russel]] e [[Alfred North Whitehead|Whitehead]] em [[Principia mathematica| ...sim p</math>.<ref>{{citation|autor =[[Alfred North Whitehead]], [[Bertrand Russell]]|título=Principia Mathematica|publicado=[[Cambridge]]|ano=1910|páginas=105 ...

...ição da correspondência de [[Gottlob Frege]] com, dentre outros [[Bertrand Russell]]. Depois foi a partir de 1935 assistente em [[Marburgo]] de [[Kurt Reideme ...

...elecido como um teorema da [[lógica proposicional]] por [[Bertrand Russell|Russell]] e [[Alfred North Whitehead|Whitehead]] em ''[[Principia mathematica|Princ * [[Alfred North Whitehead]] e [[Bertrand Russell]], ''o Principia Mathematica *56'', 2ª edição, 1927, reimpressão de 1962, C ...

...el" quando a lógica é complementada com as premissas de [[Bertrand Russell|Russell]] da [[teoria das descrições]]. Ele critica essa abordagem porque ela põe m ...

...de uma implicação".<ref name="Whitehead and Russell 1927:9">Whitehead and Russell 1927:9</ref> ...a afirmação final [a consequente] não é um erro".<ref name="Whitehead and Russell 1927:9"/> Em outras palavras:. Se uma declaração ou proposição implica uma ...

Os ordinais infinitos já constavam na obra de [[Bertrand Russell]] no ''[[Principia mathematica]]'' e no [[Introdução à Filosofia da Matemát ...

...A Principia Mathematica de [[Alfred North Whitehead]] e [[Bertrand Russell|Bertrand Russel]] o referencia junto a seis outros paradoxos ligados à auto-referênc '''(A) A versão exposta em Principia Mathematica por Whitehead e Russell''' é similar à versão original de Richard, porém não precisamente igual. Aq ...

...pareceu em Russell em 1908;<ref name="autogenerated222">[[Bertrand Russell|Russell]] (1908) ''Mathematical logic as based on the theory of types'' (American J * Disjunção: o símbolo ∨ apareceu em Russell em 1908 (compare ao uso de Peano da notação de união ∪ em [[teoria dos conj ...

...quaisquer sobre conjuntos levou a [[paradoxo]]s tais como o [[paradoxo de Russell]]. Em resposta, a teoria axiomática dos conjuntos foi desenvolvida para det ...[Bertrand Russell]] se dirigiu realmente quando apresentou o [[paradoxo de Russell]]. ...

Essas descobertas foram bastante elogiadas por [[Bertrand Russell]], que as usou para simplificar sua própria lógica, na segunda edição de '' ...olsa de viagem levou-o, consequentemente, para a Inglaterra, onde Bertrand Russell havia publicado recentemente seus''Princípios de Matemática.''para a Aleman ...

...oi indicado como um teorema da lógica proposicional por [[Bertrand Russell|Russell]] e [[Alfred North Whitehead|Whitehead]] em ''[[Principia mathematica|Princ ...

Sistema axiomático de [[Bertrand Russell|Russell]]:<ref name="Pro I">Yasuyuki Imai, Kiyoshi Iséki, On axiom systems of propo Sistema axiomático de Russell–Bernays: ...

...a de Post foi a publicação do ''[[Principia Mathematica]]'', de [[Bertrand Russell]] e [[Alfred North Whitehead]]. O primeiro volume do ''Principia Mathematic ...