42 relações: Adição, Alfred Tarski, Axioma, Axiomas de Peano, Cambridge University Press, Cardinalidade, Completude (lógica), Concatenação, Conjunto, Conjunto infinito, Conjunto vazio, Decidibilidade, Definição recursiva, Domínio (matemática), Função identidade, Função injectiva, Igualdade matemática, Indução matemática, Interpretação pretendida, Lógica de primeira ordem, Lógica de segunda ordem, Lista de teorias de primeira ordem, Matemática, Modelo de aritmética não padrão, Multiplicação, Número de Gödel, Número natural, Notação polonesa, Operação binária, Operação unária, Raphael Mitchel Robinson, Raymond Smullyan, Recíproca, Relação de ordem, Routledge, Springer Science+Business Media, Teoremas da incompletude de Gödel, Teoria de conjuntos de Zermelo, Teoria dos conjuntos, Variável, Wolfgang Rautenberg, 0 (número).
Adição
Adição é uma das operações básicas da aritmética.
Novo!!: Aritmética de Robinson e Adição · Veja mais »
Alfred Tarski
Alfred Tarski (Varsóvia, na época Império Russo, atualmente Polônia, — Berkeley, Estados Unidos) foi um lógico, matemático e filósofo polonês.
Novo!!: Aritmética de Robinson e Alfred Tarski · Veja mais »
Axioma
Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.
Novo!!: Aritmética de Robinson e Axioma · Veja mais »
Axiomas de Peano
Em lógica matemática, os axiomas de Peano, também conhecidos como os axiomas de Dedekind-Peano ou postulados de Peano, são um conjunto de axiomas para os números naturais apresentado pelo matemático italiano do século XIX Giuseppe Peano.
Novo!!: Aritmética de Robinson e Axiomas de Peano · Veja mais »
Cambridge University Press
Cambridge University Press é uma editora britânica, fundada em 1534 com o aval do rei Henrique VIII para a Universidade de Cambridge, sendo a editora mais antiga do mundo em operação contínua e a segunda maior editora universitária do mundo.
Novo!!: Aritmética de Robinson e Cambridge University Press · Veja mais »
Cardinalidade
Na matemática, a cardinalidade de um conjunto é uma medida do "número de elementos do conjunto".
Novo!!: Aritmética de Robinson e Cardinalidade · Veja mais »
Completude (lógica)
Em lógica matemática e na metalógica, um sistema formal é chamado completo com respeito a uma propriedade específica se toda fórmula tendo a propriedade pode ser obtida usando esse sistema, isto é, é um de seus teoremas; caso contrário, o sistema é dito incompleto.
Novo!!: Aritmética de Robinson e Completude (lógica) · Veja mais »
Concatenação
Concatenação é um termo usado em computação para designar a operação de unir o conteúdo de duas strings.
Novo!!: Aritmética de Robinson e Concatenação · Veja mais »
Conjunto
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.
Novo!!: Aritmética de Robinson e Conjunto · Veja mais »
Conjunto infinito
Na teoria dos conjuntos, um conjunto é infinito se possui uma correspondência biunívoca com um dos seus subconjuntos próprios.
Novo!!: Aritmética de Robinson e Conjunto infinito · Veja mais »
Conjunto vazio
Em matemática, mais especificamente em teoria dos conjuntos, o conjunto vazio é o único conjunto que não possui elementos.
Novo!!: Aritmética de Robinson e Conjunto vazio · Veja mais »
Decidibilidade
Em lógica, o termo decidível se refere a um problema de decisão, ou seja, a questão da existência de um método efetivo para determinar a pertinência em um conjunto de fórmulas.
Novo!!: Aritmética de Robinson e Decidibilidade · Veja mais »
Definição recursiva
Na lógica matemática e em ciência da computação, uma definição recursiva (ou definição indutiva) é usada para definir um objeto em termos de si próprio (Aczel 1977).
Novo!!: Aritmética de Robinson e Definição recursiva · Veja mais »
Domínio (matemática)
Na matemática, e mais especificamente na teoria ingênua dos conjuntos, o domínio de definição (ou simplesmente o domínio) de uma função é o conjunto de valores de "entrada" ou argumento para os quais a função é definida.
Novo!!: Aritmética de Robinson e Domínio (matemática) · Veja mais »
Função identidade
Gráfico da função de identidade nos números reais. Na matemática, uma função identidade (ou função de identidade), também chamada de relação de identidade ou mapa de identidade ou transformação de identidade, é uma função que sempre retorna o mesmo valor usado como argumento.
Novo!!: Aritmética de Robinson e Função identidade · Veja mais »
Função injectiva
Na matemática, uma função injectiva (ou injetora) é uma função que preserva a distinção: nunca aponta elementos distintos de seu domínio para o mesmo elemento de seu contradomínio.
Novo!!: Aritmética de Robinson e Função injectiva · Veja mais »
Igualdade matemática
Dois objetos matemáticos são iguais se e somente se são precisamente o mesmo em todo caminho.
Novo!!: Aritmética de Robinson e Igualdade matemática · Veja mais »
Indução matemática
O efeito dominó Indução matemática é um método de prova matemática usado para demonstrar a verdade de um número infinito de proposições.
Novo!!: Aritmética de Robinson e Indução matemática · Veja mais »
Interpretação pretendida
Aquele que constrói um sistema sintático normalmente tem em mente, desde o início, alguma interpretação específica para este sistema.
Novo!!: Aritmética de Robinson e Interpretação pretendida · Veja mais »
Lógica de primeira ordem
A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.
Novo!!: Aritmética de Robinson e Lógica de primeira ordem · Veja mais »
Lógica de segunda ordem
Na lógica matemática, a lógica de segunda ordem é uma extensão da lógica de primeira ordem, onde a própria lógica de primeira ordem é uma extensão de lógica proposicional.
Novo!!: Aritmética de Robinson e Lógica de segunda ordem · Veja mais »
Lista de teorias de primeira ordem
Na lógica, uma teoria de primeira ordem é um conjunto de fórmulas que fazem sentido em uma linguagem de primeira ordem.
Novo!!: Aritmética de Robinson e Lista de teorias de primeira ordem · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Aritmética de Robinson e Matemática · Veja mais »
Modelo de aritmética não padrão
Na lógica matemática, um modelo da aritmética não-padrão é um modelo da (primeira-ordem) aritmética de Peano que contém números não-padrões.
Novo!!: Aritmética de Robinson e Modelo de aritmética não padrão · Veja mais »
Multiplicação
Na matemática, a multiplicação é uma forma simples de se adicionar uma quantidade finita de números iguais.
Novo!!: Aritmética de Robinson e Multiplicação · Veja mais »
Número de Gödel
Em lógica matemática, uma numeração de Gödel é uma função matemática que atribui a cada símbolo e fórmula bem formada de alguma linguagem formal um único número natural, chamado seu número de Gödel.
Novo!!: Aritmética de Robinson e Número de Gödel · Veja mais »
Número natural
Um número natural é um número inteiro não negativo \. Em alguns contextos, número natural é definido como um número inteiro positivo, sendo também o zero considerado como um número natural (mesmo não sendo positivo e sim nulo/neutro): \. O conjunto dos números naturais é, comumente, denotado pelo símbolo \mathbb.
Novo!!: Aritmética de Robinson e Número natural · Veja mais »
Notação polonesa
Notação Polonesa (no Brasil, em Portugal é Notação Polaca) ou Notação de Prefixo é uma forma de notação para lógica, aritmética e álgebra.
Novo!!: Aritmética de Robinson e Notação polonesa · Veja mais »
Operação binária
Na matemática, uma operação binária ou 2-ária é uma operação com dois operandos.
Novo!!: Aritmética de Robinson e Operação binária · Veja mais »
Operação unária
Na matemática uma operação unária ou 1-ária, é uma operação com apenas um operando.
Novo!!: Aritmética de Robinson e Operação unária · Veja mais »
Raphael Mitchel Robinson
Raphael Mitchel Robinson (National City, — Berkeley, Califórnia) foi um matemático estadunidense.
Novo!!: Aritmética de Robinson e Raphael Mitchel Robinson · Veja mais »
Raymond Smullyan
Raymond Merrill Smullyan (Far Rockaway, 25 de maio de 1919 – 6 de fevereiro de 2017) foi um matemático estadunidense, pianista, lógico, filósofo taoísta e mágico.
Novo!!: Aritmética de Robinson e Raymond Smullyan · Veja mais »
Recíproca
A recíproca é uma relação de implicação.
Novo!!: Aritmética de Robinson e Recíproca · Veja mais »
Relação de ordem
Em matemática e em lógica matemática, especialmente em teoria dos conjuntos e em teoria das relações, uma relação de ordem é uma relação binária que pretende captar o sentido intuitivo de relações como o maior e o menor, o anterior e o posterior, etc.
Novo!!: Aritmética de Robinson e Relação de ordem · Veja mais »
Routledge
Routledge é uma editora multinacional britânica, fundada em 1836 por George Routledge.
Novo!!: Aritmética de Robinson e Routledge · Veja mais »
Springer Science+Business Media
Springer Science+Business Media ou Springer-Verlag, ou ainda, simplesmente Springer é uma editora mundial baseada na Alemanha, a qual publica livros-texto, livros de referência acadêmica, e periódicos de artigos com revisão por pares (peer-review), com foco em ciência, tecnologia, matemática, e medicina.
Novo!!: Aritmética de Robinson e Springer Science+Business Media · Veja mais »
Teoremas da incompletude de Gödel
Os teoremas da incompletude de Gödel são dois teoremas da lógica matemática que estabelecem limitações inerentes a quase todos os sistemas axiomáticos, exceto aos mais triviais.
Novo!!: Aritmética de Robinson e Teoremas da incompletude de Gödel · Veja mais »
Teoria de conjuntos de Zermelo
Em matemática, a Teoria de conjuntos de Zermelo, abreviada Z, é a apresentação axiomática da Teoria de conjuntos publicada pela primeira vez por Ernst Zermelo em 1908 no seu artigo Pesquisas sobre os fundamentos da teoria de conjuntos.
Novo!!: Aritmética de Robinson e Teoria de conjuntos de Zermelo · Veja mais »
Teoria dos conjuntos
conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.
Novo!!: Aritmética de Robinson e Teoria dos conjuntos · Veja mais »
Variável
* Variável (estatística) - atributo, mensurável ou não, sujeito à variação quantitativa ou qualitativa, no interior de um conjunto.
Novo!!: Aritmética de Robinson e Variável · Veja mais »
Wolfgang Rautenberg
Wolfgang Rautenberg (Potsdam, — Berlim) foi um matemático alemão.
Novo!!: Aritmética de Robinson e Wolfgang Rautenberg · Veja mais »
0 (número)
O zero (0) é um númeroBertrand Russell (2009).
Novo!!: Aritmética de Robinson e 0 (número) · Veja mais »