O que é um conjunto? Whar is a set? Resumo. Palavras-chave. Abstract
|
|
- Ester Fortunato
- 5 Há anos
- Visualizações:
Transcrição
1 Whar is a set? Décio Krause Newton C. A. da Costa Universidade Federal de Santa Catarina Resumo Neste artigo, discutimos a noção de conjunto, desde sua concepção intuitiva de uma coleção qualquer de objetos, os elementos desse conjunto, até a forma como essa noção é capturada nas diferentes teorias. Enfatiza-se que não há uma só teoria de conjuntos, mas (potencialmente) uma infinidade delas, muitas entre si não equivalentes. O que resulta é que não há um conceito absoluto de conjunto, um que coincida de alguma forma em todas essas teorias: o que é ou deixa de ser um conjunto depende da teoria considerada. Palavras-chave Conjunto. Noção de conjunto. Teorias de conjuntos. Relatividade da noção de conjunto. Abstract 11
2 In this paper we discuss the notion of set, since its intuitive meaning, as a collection of objects whatever, the elements of the set, until the way this notion is captured in the different set theories. We emphasize that there is no just one set theory, but (potentially) infinitely many, most of them not equivalent one each other. It results that there is no an absolute concept of set, one that can be said to be the same in all theories: what is or not a set depends on the considered theory. Keywords Set. Notion of set. Set theories. Relativity of the notion of set. Introdução A noção intuitiva de conjunto é clara e simples: trata-se de uma coleção de objetos, que são os elementos do conjunto. De acordo com Cantor, o criador da teoria (ver abaixo), por um conjunto [Menge] entendemos qualquer coleção, reunida em uma totalidade M, de objetos m definidos e distintos (os quais são chamados de elementos de M) de nossa intuição ou pensamento. (ver Krause 2002, p.73) Ou seja, qualquer coleção pode, em princípio, ser considerada como um conjunto. Sinônimos são coleção, agregado, classe. Dizemos que os elementos de um conjunto a ele pertencem, ou que são seus membros. Se um a objeto a pertence a um conjunto x, escrevemos a x, e escrevemos a x em caso contrário. Resulta da lógica clássica, que subjaz à teoria, que para quaisquer a e x, sempre temos um dos casos: a x ou a x (Princípio do Terceiro Excluído), e não se pode ter ambos (Princípio da Contradição). A natureza dos objetos é também bastante geral, não havendo, em princípio, qualquer restrição relativamente ao que possam ser os elementos de um conjunto. Em princípio, nada impede que um dos elementos de um conjunto possa ser ele mesmo, assim, podemos ter, para um certo x, que x x ou então, que x x, tudo dependendo dos axiomas que adotemos. Assim, de um ponto de vista intuitivo, podemos ter conjuntos cujos elementos são anjos, cadeiras, números irracionais, triângulos, o que quer que seja. Um conjunto pode ter inclusive uma infinidade de elementos. O conjunto dos números naturais, por exemplo, que usualmente denominamos de N, tem como elementos os números naturais 0,1,2,3, etc. 12
3 Décio Krause Newton C. A. da Costa (muitas vezes, 0 não é considerado um número natural ---isso depende dos interesses do matemático). O conjunto R dos números reais também tem infinitos elementos, os quais podem ser identificados com os pontos de uma reta. A noção informal de conjunto sempre esteve presente não só na matemática, mas na ciência em geral, e até o final do século XIX, não houve (aparentemente) necessidade de se refletir detalhadamente sobre esse conceito. A situação começou a se alterar depois de Georg Ferdinand Ludwig Philipp Cantor ( ). Motivado por problemas em uma parte da matemática denominada de Análise Matemática, desenvolveu uma teoria desses conjuntos, e impôs apenas uma restrição para o que sejam os elementos de um conjunto: eles devem ser distintos uns dos outros, como vimos na sua definição acima. Cantor criou uma teoria verdadeiramente genial, mostrando que há diversos tipos de conjuntos com infinitos elementos; há o conjunto dos números naturais (uma quantidade enumerável ), cuja quantidade de elementos, ou (mais precisamente) cardinal, denotava por ℵ0 (alefe-zero, sendo alefe a primeira letra do alfabeto hebraico). Há o conjunto dos números reais, cujo cardinal é denotado por c (para indicar o contínuo ), e muitos outros conjuntos aos quais se associam cardinais. Além de nos apresentar infinitos de diversas ordens, Cantor ainda criou uma álgebra de tais cardinais que tem propriedades distintas das da aritmética comum (só coincide com essa no caso de cardinais finitos, que são exatamente os números naturais); por exemplo, resulta que ℵ0+ℵ0=ℵ0, o que contraria a álgebra dos números que conhecemos. Observação: Uma observação digna de nota é a seguinte. Usualmente, encontramos nos livros de iniciação a afirmativa de que a relação de pertinência é primitiva, indefinível. A rigor, isso não é certo. O que pode ou não ser definido depende do sistema axiomático que se está utilizando. Se a pertinência for adotada como conceito primitivo, então ela de fato não é definida nessa abordagem. Mas podemos escolher outra; por exemplo, tome-se o conjunto unitário (ver mais abaixo) como primitivo, ou seja, tomamos {x} como primitivo, para x qualquer. Assim, definimos a pertinência pondo a x se e somente se x = {a}. A teoria de Cantor Na teoria de Cantor, dois conjuntos têm o mesmo número cardinal se existe uma correspondência um a um (que os matemáticos chamam de bijeção) entre eles. Todos os conjuntos que admitem uma bijeção com o conjunto N dos números naturais são ditos enumeráveis, e têm cardinal ℵ0, o que não acontece com o conjunto R dos números reais, como mostrou o próprio Cantor. Um conjunto é contável se for finito ou enumerável. 13
4 Exemplos de conjuntos enumeráveis são o conjunto dos números naturais pares, o dos números naturais ímpares, o dos números inteiros, o dos números racionais (frações) e muitos outros. Note que a intuição vai sendo deixada de lado: afinal, o conjunto dos números pares não é um subconjunto do conjunto dos números naturais? Então, como podem ter o mesmo número de elementos? O problema é a noção intuitiva de mesmo número de elementos, que para conjuntos infinitos perde seu sentido, motivo pelo qual falase em número cardinal. Assim, se A e B são dois conjuntos enumeráveis, como os conjuntos dos números pares e o dos números ímpares, a soma desses cardinais é o mesmo número cardinal de cada um deles, a saber, ℵ0 (a definição de adição de cardinais, com efeito, tem que ser dada adequadamente). Para saber se um certo objeto pertence ou não a um conjunto, há duas alternativas básicas: podemos simplesmente verificar se o referido objeto é um dos elementos, como quando o conjunto tem poucos elementos e eles são descritos explicitamente. A outra alternativa é verificar se o objeto satisfaz alguma propriedade característica dos elementos do conjunto; por exemplo, podemos definir um conjunto contendo como elementos os números naturais maiores do que 10. Assim, um certo objeto pertence a este conjunto se e somente se for um número natural maior do que 10. A teoria de Cantor nos diz como operamos com conjuntos, fazendo uniões, interseções, diferenças, produtos cartesianos e outras operações, e por meio desses conceitos e operações, podemos exprimir praticamente todos os conceitos utilizados na matemática e na ciência padrões. Um dos princípios básicos dessa teoria, que está implícito na teoria informal (não axiomatizada), denomina-se de Princípio da Compreensão, ou da Abstração: dada uma propriedade P qualquer, existe o conjunto dos objetos x que têm a tal propriedade; escrevemos isso assim: {x : P(x)}, os dois pontos : significando tal que (ou tais que ). Por exemplo, seja P a propriedade, ou condição, que diz que x é carioca. De imediato, somos levados ao conjunto dos cariocas, que chamaremos de C, ou seja, à coleção (conjunto) cujos elementos são aquelas pessoas e somente aquelas pessoas, denominadas de cariocas. É fácil entender que o próprio conjunto dos cariocas não é carioca (pois é o conjunto dos cariocas), logo, constatamos que C não pertence a C. Ou seja, há conjuntos que não pertencem a eles mesmos, e há os que pertencem, como o chamado conjunto universal, o conjunto que contém todos os conjuntos (que, por conter todos os conjuntos, contém a si próprio). Bertrand Russell ( ) percebeu que se chamarmos de U ao conjunto de todos os conjuntos que não pertencem a si mesmos (como o conjunto C dos cariocas), acontece o seguinte: por um dos princípios básicos da lógica clássica (que ainda está 14
5 Décio Krause Newton C. A. da Costa informalmente sendo suposta), chamado de Princípio do Terceiro Excluído, U pertence a U ou U não pertence a U. Se U pertence a U, possui a propriedade característica de seus elementos, ou seja, não pertence a si mesmo; logo U não pertence a U. Por outro lado, se U não pertence a U, possui a referida propriedade; logo pertence a U. Disso se deriva que U pertence a U e que não pertence a U, uma contradição. Outros paradoxos foram obtidos, mostrando-se que a teoria de Cantor é inconsistente, ou seja, permite que nela se derivem proposições contraditórias (uma sendo a negação da outra). Alguns matemáticos, que não gostavam da teoria de conjuntos, vibraram. Outros, notando a extrema capacidade redutora da teoria, permitindo que os conceitos matemáticos fossem adequadamente definidos, preferiam seguir Hilbert, que sustentava o caráter duradouro da teoria de conjuntos, alegando que ninguém nos expulsará do paraíso criado por Cantor. Os motivos para tais desacordos eram diversos; alguns, como Kronecker ( ) (que havia sido professor e orientador de doutorado de Cantor) e Poincaré ( ), achavam que não se podia retroceder, nos fundamentos da matemática, para aquém dos números naturais. A frase célebre de Kronecker, Deus nos deu os números naturais; todo o resto é obra do homem é bem conhecida. Ou seja, a matemática deveria partir dos números naturais, mas a teoria de Cantor permitia que eles fossem definidos em termos de conjuntos, apresentando assim uma fundamentação ainda mais primária. Zermelo e Zermelo-Fraenkel O que fazer para contornar o problema dos paradoxos e para mostrar que a matemática podia ser fundamentada em bases sólidas? Russell propôs a Teoria dos Tipos em 1908, que alicerça seu monumental Principia Mathematica, escrito em parceria com A. N. Whitehead ( ), e publicado em três volumes (1910, 1912 e 1913). Outra solução foi estabelecer uma fundamentação axiomática para a própria teoria de conjuntos, o que foi feito por Ernst Zermelo ( ) em Zermelo apresentou a primeira versão axiomática da teoria de conjuntos, na qual se evitam os paradoxos conhecidos, como o presentado por Russell, visto acima. O problema é que a teoria de Zermelo não era suficientemente rigorosa, como se constatou em seguida. 1 A teoria original de Zermelo comportava duas espécies de 1 - O conceito de rigor varia de época para época. O patamar de rigor que temos hoje na matemática foi alcançado a partir do final do século XIX, com o desenvolvimento da lógica matemática e dos estudos fundacionistas da matemática. Ver (da Costa 1980, p.232). 15
6 entidades, os conjuntos e os átomos (ele se referia a eles como Urelemente). Ur-elementos, ou elementos básicos, como os denominamos, não são conjuntos, mas podem ser elementos de conjuntos. Na teoria de Zermelo, conjuntos, portanto, podem ter átomos ou outros conjuntos como elementos. Como se constatou depois, na teoria de Zermelo não há qualquer restrição a que um conjunto pertença a ele mesmo, ou que haja cadeias de conjuntos pertencendo uns aos outros. Para se evitar isso, necessita-se de um postulado, conhecido como Axioma da Regularidade (ou da Fundação), originalmente introduzido por J. von Neumann ( ). Se não tivermos tal axioma, nada impede que um conjunto pertença a ele próprio. A teoria de Zermelo foi incrementada por A. A. Fraenkel ( ) e por T. Skolem ( ) nas duas primeiras décadas do século XX, resultando na teoria conhecida como Zermelo-Fraenkel, simbolizada por ZF (mas deveria comportar ainda o nome de Skolem), e é talvez a mais conhecida e utilizada quando se necessita fazer referência a uma teoria de conjuntos. Por exemplo, em ZF não há átomos; todos os objetos tratados pela teoria são conjuntos. Os axiomas de ZF são os seguintes: (Extensionalidade) Dois conjuntos que contêm os mesmos elementos são iguais. (Par) Dados dois objetos quaisquer a e b, existe o conjunto (par não ordenado) que os contém e somente a eles, denotado por {a, b}. Em particular, se a = b, obtemos o conjunto cujo único elemento é a, dito unitário de a, e denotado por {a}. (Separação) Dados um conjunto z e uma propriedade ou condição P(x), existe o subconjunto daqueles elementos de z que cumprem a condição P, denotado por {x z : P(x)}. Assim de um conjunto dado z qualquer, mediante a propriedade P(x) definida por x x, obtemos o conjunto que não tem elementos (pois é um fato da lógica que todo objeto x é tal que x = x), que se prova ser único. Tal conjunto é o conjunto vazio, denotado por. (Conjunto das Partes) Dado um conjunto qualquer, existe o conjunto cujos elementos são os subconjuntos do conjunto dado, dito conjunto das partes do conjunto original. 16
7 Décio Krause Newton C. A. da Costa (Conjunto união) Dado um conjunto qualquer x, existe o conjunto cujos elementos são os elementos dos elementos de x, dito conjunto união de x. (Infinito) Existe um conjunto que contém o conjunto vazio e que contém o sucessor conjuntista de qualquer de seus elementos. O sucessor conjuntista de um conjunto x é o conjunto união de x com o seu conjunto unitário, {x}. (Substituição) Introduzido por Fraenkel, generaliza o axioma da separação, permitindo, dentre outras coisas, que este seja dele derivado. O axioma da separação impede que surjam paradoxos como o de Russell e outros conhecidos, pois para formarmos o conjunto dos objetos que têm uma certa propriedade, devemos ter um conjunto previamente formado do qual os elementos são separados. No caso do conjunto de Russell, não há nada previamente especificado pela teoria de onde possamos separar os conjuntos que não são elementos de si mesmos. Isso salva a teoria não só do paradoxo de Russell, como de todos os demais paradoxos conhecidos. O problema de saber se pode-se ou não derivar contradições em uma teoria como ZF é de difícil resposta. Dito de modo breve, não se pode demonstrar tal fato, mas este assunto foge aos objetivos destas notas. No entanto, o leitor pode confortar-se sabendo que, se houver tal possibilidade, a real derivação de uma contradição será muito difícil de ser alcançada, devida a um teorema genial de Feferman (ver Corrada 1990). Hoje, podemos reintroduzir ur-elementos em ZF sem problemas, obtendo uma teoria denominada de ZFU (Zermelo-Fraenkel com Urelemente), a qual parece ser mais apropriada para aplicações em ciência, onde trabalha-se com objetos que não são, em princípio, conjuntos. As duas teorias são equiconsistentes: uma delas leva a uma contradição se e somente se a outra também faz isso. Outras teorias Houve outros desenvolvimentos posteriores. von Neumann, na década de 20, desenvolveu uma teoria, posteriormente modificada por P. Bernays ( ) e K. Gödel ( ), que ficou conhecida como teoria de Von Neumann, Bernays e Gödel (NBG) (Krause 2002, 5.3). Em NBG, há classes e conjuntos, e estas duas palavras não são mais 17
8 sinônimas; todos os conjuntos são classes, mas nem toda classe é um conjunto. Conjuntos são classes que pertencem a outras classes; aquelas classes que não pertencem a outras classes são chamadas de classes próprias. Os conjuntos de NBG de certo modo coincidem com os de ZF. Em qualquer dessas teorias, podemos provar que não há conjunto universal, desde que essas teorias sejam consistentes. 2 A prova é simples. Seja A um conjunto qualquer e seja B um subconjunto de A definido assim: os elementos de B são aqueles elementos de A que não pertencem a si mesmos. Então B pertence a B se e somente se pertence a A e não pertence a si mesmo. Desse modo, se B pertence a A, deduzimos que B pertence a B se e somente se B não pertence a B, e obtemos uma contradição nos moldes vistos acima. A única saída é assumir que B não pertence a A. Ora, isso mostra que, dado qualquer A, podemos sempre encontrar um conjunto que não pertença a ele, logo, não há conjunto que contenha todos os conjuntos. O filósofo Willard Quine ( ) criou duas teorias, conhecidas como NF (porque foi publicada em um artigo que iniciava com as palavras New Foundations ) e ML (porque apareceu em seu livro Mathematical Logic), que diferem substancialmente de ZF e de NBG. NF foi corrigida posteriormente por B. Rosser ( ) e ML por H. Wang ( ). Em NF, há o conjunto universal, contrariamente a ZF (supostamente consistente). ML é obtida acrescentando-se classes próprias a NF, de modo similar ao que se faz em ZF para obter NBG. Essas duas teorias têm propriedades distintas daquelas de ZF e de NBG. Apenas um exemplo: em NF, o célebre Axioma da Escolha é falso, mas em ML ele vale para conjuntos, e ninguém sabe se o axioma se aplica a classes próprias. O axioma da escolha é independente dos axiomas de ZF e de NBG, se estes forem consistentes, ou seja, não pode ser demonstrado e nem refutado nessas teorias. Apesar de mais famosas, essas teorias não são as únicas: há muitas outras teorias de conjuntos. Em cada uma delas um conceito de conjunto é delineado, e pode diferir daquele conceito que é delineado em outras teorias. Ou seja: o que é conjunto em uma teoria pode não coincidir com o que é conjunto em outra. Por exemplo, mudando-se a lógica subjacente, mudamos de teoria, e utilizando uma lógica conveniente, podemos elaborar teorias paraconsistentes de conjuntos nas quais o conjunto dos conjuntos que não pertencem 2 - Uma teoria é consistente se nela não se pode derivar duas proposições contraditórias, uma sendo a negação da outra. Caso contrário, é inconsistente. Em uma teoria inconsistente, se baseada na lógica clássica (ou na maioria dos sistemas lógicos conhecidos), pode-se demonstrar qualquer proposição expressa por sua linguagem. Uma outra forma de provar que uma teoria é consistente é mostrar que ela admite um modelo, uma realização ou interpretação que confirme seus axiomas. No entanto, isso exige que esse modelo seja provado existir em alguma outra teoria (devido a um teorema célebre de Kurt Gödel, uma teoria consistente e adequadamente formulada, como podemos assumir são as teorias sendo comentadas, não pode provar sua própria consistência), cuja consistência fica agora em suspenso, necessitando de uma outra teoria ainda, e assim ad infinitum. 18
9 Décio Krause Newton C. A. da Costa a si mesmos, por exemplo, têm existência estabelecida sem os problemas usuais (de uma contradição acarretar que todas as proposições formuladas na linguagem da teoria possam ser derivadas como teoremas). Cabe aqui uma observação importante. Do ponto de vista formal, podemos desenvolver uma teoria de conjuntos sem nos referirmos em nenhum momento à palavra conjunto. Tal teoria seria abstrata, sem qualquer compromisso para com este conceito, ainda que pudesse ser interpretada como dizendo respeito a conjuntos, mas não os conteria em sua origem abstrata. Em outras palavras, o conceito de conjunto não é absoluto, mas relativo à particular teoria considerada. Multiconjuntos e quase-conjuntos Vimos que em sua caracterização informal do conceito de conjunto, Cantor requereu que os elementos de um conjunto devem ser distintos uns dos outros. Seria isso necessário? A resposta é negativa. Na teoria de multiconjuntos (Blizard 1989), um mesmo elemento pode figurar mais de uma vez em um conjunto. Nas teorias anteriores, os conjuntos {1,1,2,3,3} e {1,2,3} são iguais devido ao Axioma da Extensionalidade, pois têm os mesmos elementos, e seu cardinal é 3, pois tem três elementos. Mas na teoria de multiconjuntos eles são diferentes; o primeiro tem cardinal 5, e o segundo tem cardinal 3. Assim, um conjunto na teoria de multiconjuntos (que muito apropriadamente chamamos de multiconjunto), os elementos não precisam ser distintos, podendo ser inclusive iguais. Os quase-conjuntos, por outro lado, que são os conjuntos na teoria de quase-conjuntos, têm motivação em uma interpretação da mecânica quântica que entende as entidades básicas (que aqui denominaremos de partículas) como destituídas de condições de identidade. Ter identidade significa poder ser identificado em um contexto e em outros como sendo o mesmo indivíduo. Indivíduos são objetos que têm identidade nesse sentido. Tome agora uma reação química simples, a combustão do metano, na qual um átomo de gás metano se mistura com dois átomos de oxigênio, fornecendo uma molécula de dióxido de carbono e duas moléculas de água; em termos químicos, CH 4 + 2O 2 CO 2 + 2H 2 O. Consideremos os quatro átomos de hidrogênio que há entre os reagentes e os quatro 19
10 átomos de oxigênio também entre os reagentes (fixaremos os átomos de oxigênio, mas o raciocínio se aplica também para os átomos de hidrogênio, assim como para qualquer átomo, elétron, próton, etc.). Após a reação, há dois átomos de oxigênio na molécula de dióxido de carbono e mais dois, um em cada molécula de água. Quais dos quatro que havia entre os reagentes estão em cada caso entre os resultantes? É impossível dizer. Não é nem mesmo possível dizer que se tratam dos mesmos átomos que havia entre os reagentes. O conceito de identidade, como expresso acima, não pode fazer sentido para essas entidades. O interessante é que não se trata de uma falta de capacidade nossa ou de nossos laboratórios de identificar quais átomos foram para qual lugar. É um pressuposto da teoria que não pode haver identificação (veja mais detalhes em Schinaider e Krause 2014). A teoria de quase-conjuntos trata de coleções de objetos que podem ser indiscerníveis sem que com isso resultem colapsar no mesmo indivíduo, como seria requisitado pela matemática usual, na qual não há entidades indiscerníveis que não sejam a mesma entidade 3. O assunto é interessante mas extrapola os objetivos dessas notas. Conclusões É comum encontrarmos livros elementares, muitos adotados em nossas escolas, que consideram como um conjunto uma coleção de objetos, como bolas de futebol ou pessoas. É preciso cuidado aqui. Podemos por exemplo fotografar bolas e pessoas, mas não podemos fotografar um conjunto. Enquanto bolas e pessoas supostamente são reais, um conjunto é uma entidade abstrata. Pelo menos os professores de matemática deveriam conhecer essa distinção fundamental, ainda que possam continuar a utilizar a noção informal com seus alunos em classes elementares. No entanto, a aplicação desses conceitos ao mundo em que vivemos requer cuidado e muito preparo. Ainda que o conceito de conjunto seja importante e razoavelmente fácil de manusear, não constitui o único modo de se fundamentar a matemática. Com efeito, a quase totalidade dos conceitos matemáticos que usamos podem ser obtidos na Teoria dos Tipos de Russell, ou na chamada Teoria de Categorias. Em tais teorias, não há conjuntos. 3 - Na matemática usual, só se pode considerar indiscernibilidade relativamente a algumas propriedades, mas não relativamente a todas. 20
11 Décio Krause Newton C. A. da Costa Referências Blizard, W. D, Multiset theory. Notre Dame Journal of Formal Logic 3 (1): Corrada, M. (1990), On the lenght of proofs of set theoretical statements in Zermelo- Fraenkel set theory and Kelley-Morse theory of classes. The Journal of Non-Classical Logic 7 (1/2): Da Costa, N. C. A. (1980), Ensaio sobre os Fundamentos da Lógica. São Paulo, Hucitec-EdUSP. Krause, D. (2002), Introdução aos Fundamentos Axiomáticos da Ciência. São Paulo, EPU. Schinaider, J. e Krause, D. (2014), Indiscernibilidade e identidade em química: aspectos filosóficos e formais. Manuscrito 37 (1):
O que é um conjunto? What is a set?
O que é um conjunto? What is a set? ISSN 2316-9664 Volume 11, dez. 2017 Décio Krause Universidade Federal de Santa Catarina krause.decio@ufsc.br Newton Carneiro Afonso da Costa Universidade Federal de
Revista de Pesquisa em Filosofia FUNDAMENTO
Revista de Pesquisa em Filosofia FUNDAMENTO Ouro Preto - Minas Gerais - Brasil Fundamento Revista de Pesquisa em Filosofia / Universidade Federal de Ouro Preto / Grupo de Pesquisa em Filosofia Contemporânea.
Teoremas de Incompletude de Gödel e os Fundamentos da Matemática
Teoremas de Incompletude de Gödel e os Fundamentos da Matemática Rogério Augusto dos Santos Fajardo MAT554 - Panorama de Matemática 6 e 8 de agosto de 2018 Lógica e Teoria dos Conjuntos servem como: Lógica
LÓGICA I ANDRÉ PONTES
LÓGICA I ANDRÉ PONTES 3. Introdução à Teoria dos Conjuntos Um conjunto é uma coleção ou um agregado de objetos. Introduzindo Conjuntos Ex.: O conjunto das vogais; O conjuntos de pessoas na sala; O conjunto
Completude diz-se em Vários Sentidos
Completeness can be said in Several Meanings Edelcio Gonçalves de Souza Pontifícia Universidade Católica de São Paulo (PUC-SP) edelcio@pucsp.br Resumo: A partir de um raciocínio equivocado acerca do significado
UMA PROVA DE CONSISTÊNCIA
UMA PROVA DE CONSISTÊNCIA Felipe Sobreira Abrahão Mestrando do HCTE/UFRJ felipesabrahao@gmail.com 1. INTRODUÇÃO Demonstradas por Kurt Gödel em 1931, a incompletude da (ou teoria formal dos números ou aritmética)
Matemática Discreta para Ciência da Computação
Matemática Discreta para Ciência da Computação P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação
RESENHAS REVIEWS. KRAUSE, Décio Introdução aos Fundamentos Axiamaticos da Ciência São Paulo EPU, 2002
RESENHAS REVIEWS KRAUSE, Décio Introdução aos Fundamentos Axiamaticos da Ciência São Paulo EPU, 2002 Este é um livro sobre metodo axiomanco, conceito de estrutura, fun damentos da teoria dos conjuntos
2 A Teoria de Conjuntos - Preliminares
2 A Teoria de Conjuntos - Preliminares Esse capítulo se propõe a apresentar de maneira breve os resultados da teoria de conjuntos que serão utilizados nos capítulos subseqüentes. Começamos definindo as
Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito
Capítulo 2 Conjuntos Infinitos Um exemplo de conjunto infinito é o conjunto dos números naturais: mesmo tomando-se um número natural n muito grande, sempre existe outro maior, por exemplo, seu sucessor
Teoria Ingênua dos Conjuntos (naive set theory)
Teoria Ingênua dos Conjuntos (naive set theory) MAT 131-2018 II Pouya Mehdipour 5 de outubro de 2018 Pouya Mehdipour 5 de outubro de 2018 1 / 22 Referências ALENCAR FILHO, E. Iniciação à Lógica Matemática,
Capítulo 2. Conjuntos Infinitos
Capítulo 2 Conjuntos Infinitos Não é raro encontrarmos exemplos equivocados de conjuntos infinitos, como a quantidade de grãos de areia na praia ou a quantidade de estrelas no céu. Acontece que essas quantidades,
A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA
MAT1513 - Laboratório de Matemática - Diurno Professor David Pires Dias - 2017 Texto sobre Lógica (de autoria da Professora Iole de Freitas Druck) A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA Iniciemos
Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso)
Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso) Roberto Imbuzeiro Oliveira 8 de Janeiro de 2014 1 Conjuntos e funções Neste curso procuraremos fundamentar de forma precisa os fundamentos
O que é a Teoria em Ciência da Computação. Introdução à Ciência da Computação Mário S. Alvim
O que é a Teoria em Ciência da Computação Introdução à Ciência da Computação Mário S. Alvim 2018-10-05 1 O que é computação? Algumas tentativas de definir o que é computação : É o ato de raciocinar seguindo
Lógica e Computação. Uma Perspectiva Histórica
Lógica e Computação Uma Perspectiva Histórica Alfio Martini Facin - PUCRS A Lógica na Cultura Helênica A Lógica foi considerada na cultura clássica e medieval como um instrumento indispensável ao pensamento
A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS.
A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS. SANDRO MARCOS GUZZO RESUMO. A construção dos conjuntos numéricos é um assunto clássico na matemática, bem como o estudo das propriedades das operações
Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito
Capítulo 2 Conjuntos Infinitos O conjunto dos números naturais é o primeiro exemplo de conjunto infinito que aprendemos. Desde crianças, sabemos intuitivamente que tomando-se um número natural n muito
Números naturais e cardinalidade
Números naturais e cardinalidade Roberto Imbuzeiro M. F. de Oliveira 5 de Janeiro de 2008 Resumo 1 Axiomas de Peano e o princípio da indução Intuitivamente, o conjunto N dos números naturais corresponde
O CAMPO DOS NÚMEROS REAIS. Capítulos IV, V e VI do livro Conceitos fundamentais da Matemática Bento de Jesus Caraça
O CAMPO DOS NÚMEROS REAIS Capítulos IV, V e VI do livro Conceitos fundamentais da Matemática Bento de Jesus Caraça Aula passada... Números Naturais: 1, 2, 3, Números Inteiros: 0, 1, 2, 3, Relações Biunívocas
Aulas 10 e 11 / 18 e 20 de abril
1 Conjuntos Aulas 10 e 11 / 18 e 20 de abril Um conjunto é uma coleção de objetos. Estes objetos são chamados de elementos do conjunto. A única restrição é que em geral um mesmo elemento não pode contar
Um pouco de história. Ariane Piovezan Entringer. Geometria Euclidiana Plana - Introdução
Geometria Euclidiana Plana - Um pouco de história Prof a. Introdução Daremos início ao estudo axiomático da geometria estudada no ensino fundamental e médio, a Geometria Euclidiana Plana. Faremos uso do
LEI DA TRICOTOMIA EM N. Amanda Vitória de Jesus Mendes, Vinício Brás Oliveira Dias, João Carlos Moreira Universidade Federal de Uberlândia FACIP
1. INTRODUÇÃO Apesar do conhecimento da existência dos números naturais e a sua utilização para contar, apenas no século XIX uma construção axiomática dos números naturais foi efetivamente apresentada.
No. Try not. Do... or do not. There is no try. - Master Yoda, The Empire Strikes Back (1980)
Cálculo Infinitesimal I V01.2016 - Marco Cabral Graduação em Matemática Aplicada - UFRJ Monitor: Lucas Porto de Almeida Lista A - Introdução à matemática No. Try not. Do... or do not. There is no try.
Contando o Infinito: os Números Cardinais
Contando o Infinito: os Números Cardinais Sérgio Tadao Martins 4 de junho de 2005 No one will expel us from the paradise that Cantor has created for us David Hilbert 1 Introdução Quantos elementos há no
Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais não nulos (inteiros positivos) Última atualização em setembro de 2017 por Sadao Massago
Capítulo 1 Os Números Última atualização em setembro de 2017 por Sadao Massago 1.1 Notação Números naturais: Neste texto, N = {0, 1, 2, 3,...} e N + = {1, 2, 3, }. Mas existem vários autores considerando
7 AULA. Teoria de Cantor e Teoria de Zermelo -Fraenkel LIVRO
1 LIVRO Teoria de Cantor e Teoria de Zermelo -Fraenkel META: Apresentar conjuntos segundo a ótica da teoria de Georg Cantor e da teoria de Zermelo-Fraenkel. OBJETIVOS: Ao fim da aula os alunos deverão
Enumerabilidade. Capítulo 6
Capítulo 6 Enumerabilidade No capítulo anterior, vimos uma propriedade que distingue o corpo ordenado dos números racionais do corpo ordenado dos números reais: R é completo, enquanto Q não é. Neste novo
SOBRE O OPERADOR DE CONSEQÜÊNCIA DE TARSKI
VELASCO, Patrícia Del Nero. Sobre o operador de conseqüência de Tarski. In: MARTINS, R. A.; MARTINS, L. A. C., P.; SILVA, C. C.; FERREIRA, J. M. H. (eds.). Filosofia e história da ciência no Cone Sul:
Semana 2. Primitivas. Conjunto das partes. Produto cartesiano. 1 Teoria ingênua dos conjuntos. 2 Axiomática ZFC de conjuntos. 4 Conjuntos numéricos
Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 e pertinência Conjunto é entendido como uma coleção de
Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.
Teoria dos Conjuntos Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Porém, não é nosso objetivo ver uma teoria axiomática dos conjuntos.
Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos
Pode-se dizer que a é em grande parte trabalho de um único matemático: Georg Cantor (1845-1918). noção de conjunto não é suscetível de definição precisa a partir d noções mais simples, ou seja, é uma noção
INTRODUÇÃO À TEORIA DOS CONJUNTOS1
INTRODUÇÃO À TEORIA DOS CONJUNTOS1 TÓPICO Gil da Costa Marques 1.1 Elementos da Teoria dos Conjuntos 1.2 Introdução 1.3 Conceitos Básicos 1.4 Subconjuntos e Intervalos 1.5 Conjuntos Numéricos 1.5.1 O Conjunto
Conjuntos Enumeráveis e Não-Enumeráveis
Conjuntos Enumeráveis e Não-Enumeráveis João Antonio Francisconi Lubanco Thomé Bacharelado em Matemática - UFPR jolubanco@gmail.com Prof. Dr. Fernando de Ávila Silva (Orientador) Departamento de Matemática
Conjuntos, cap. 4 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani
Conjuntos, cap. 4 de Introdução à Lógica (Mortari 00) Luiz Arthur Pagani Caracterização de conjuntos conjunto coleção de objetos: A idéia básica é de que conjuntos são coleções de objetos. (Outros termos
INTRODUÇÃO À TEORIA DOS CONJUNTOS
1 INTRODUÇÃO À TEORIA DOS CONJUNTOS Gil da Costa Marques 1.1 Introdução 1.2 Conceitos básicos 1.3 Subconjuntos e intervalos 1.4 O conjunto dos números reais 1.4.1 A relação de ordem em 1.5 Intervalos 1.5.1
Funções, Seqüências, Cardinalidade
Funções, Seqüências, Cardinalidade Prof.: Rossini Monteiro Noções Básicas Definição (Função) Sejam A e B conjuntos. Uma função de A em B é um mapeamento de exatamente um elemento de B para cada elemento
Curso de Matemática Aplicada.
Aula 1 p.1/25 Curso de Matemática Aplicada. Margarete Oliveira Domingues PGMET/INPE Sistema de números reais e complexos Aula 1 p.2/25 Aula 1 p.3/25 Conjuntos Conjunto, classe e coleção de objetos possuindo
CM Funções. Notas de Aula PSE Departamento de Matemática - UFPR
1. CM 128 - Funções Notas de Aula PSE 2017 Departamento de Matemática - UFPR Sumário 1 Conjuntos 4 1.1 Aula 1 - Operações entre conjuntos................................... 4 1.1.1 Conjuntos.............................................
Tópicos de Matemática. Teoria elementar de conjuntos
Tópicos de Matemática Lic. em Ciências da Computação Teoria elementar de conjuntos Carla Mendes Dep. Matemática e Aplicações Universidade do Minho 2010/2011 Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática
Lavine, na citação acima, remete-se a Michael Hallett e à sua interpretação da teoria de Cantor como finitista. Segundo Hallett,
6 Conclusão Em sua reconstrução da teoria cantoriana dos números transfinitos, Shaughan Lavine enfatizou que a intenção de Cantor, com sua teoria, era a de contar ou bem ordenar os conjuntos infinitos.
Teoria intuitiva de conjuntos
Teoria intuitiva de conjuntos.................................... 1 Relação binária............................................ 10 Lista 3................................................. 15 Teoria intuitiva
Capítulo 1. Conjuntos e Relações. 1.1 Noção intuitiva de conjuntos. Notação dos conjuntos
Conjuntos e Relações Capítulo Neste capítulo você deverá: Identificar e escrever os tipos de conjuntos, tais como, conjunto vazio, unitário, finito, infinito, os conjuntos numéricos, a reta numérica e
Curso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS. Prof.: Marcelo Maraschin de Souza
Curso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS Prof.: Marcelo Maraschin de Souza 3. Conjuntos Definição: Um conjunto é uma coleção desordenada de zero ou mais objetos, denominados
n. 27 INTERVALOS REAIS Georg Ferdinand Ludwig Philipp Cantor ( ) matemático russo.
n. 27 INTERVALOS REAIS Georg Ferdinand Ludwig Philipp Cantor (1845-1918) matemático russo. Conhecido por ter elaborado a teoria dos conjuntos, o que o levou ao conceito de número transfinito. Cantor provou
CURSO INTRODUTÓRIO DE MATEMÁTICA PARA ENGENHARIA Conjuntos. Rafael Carvalho 7º Período Engenharia Civil
CURSO INTRODUTÓRIO DE MATEMÁTICA PARA ENGENHARIA 2016.2 Conjuntos Rafael Carvalho 7º Período Engenharia Civil Definição Noção intuitiva: São coleções de elementos da mesma espécie. - O conjunto de todos
O CAMPO DOS NÚMEROS REAIS. Capítulos IV, V e VI do livro Conceitos fundamentais da Matemática Bento de Jesus Caraça
O CAMPO DOS NÚMEROS REAIS Capítulos IV, V e VI do livro Conceitos fundamentais da Matemática Bento de Jesus Caraça Aula passada... Números Naturais: 1, 2, 3, Números Inteiros: 0, 1, 2, 3, Relações Biunívocas
Notas sobre Sequências e Cardinalidade (1)
1 / 11 Notas sobre e Cardinalidade (1) Anjolina Grisi de Oliveira Centro de Informática Universidade Federal de Pernambuco CIn-UFPE 2 / 11 Uma sequência é uma estrutura discreta usada para representar
LÓGICOS E ALGÉBRICOS DA PROGRAMAÇÃO Licenciaturas em Engenharia Informática, Ensino de Informática e Matemática 2º Semestre 2005/2006
FUNDAMENTOS UNIVERSIDADE da MADEIRA Departamento de Matemática e Engenharias LÓGICOS E ALGÉBRICOS DA PROGRAMAÇÃO Licenciaturas em Engenharia Informática, Ensino de Informática e Matemática 2º Semestre
Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a
Exemplo (U(n)) Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a multiplicação módulo n é uma operação binária
COMPUTABILIDADE 3. Funções Parciais Recursivas
José Carlos Costa DMA-UMinho 2 de Dezembro de 2011 1/17 Licenciatura em Ciências da Computação COMPUTABILIDADE 3. Funções Parciais Recursivas José Carlos Costa Dep. Matemática e Aplicações Universidade
Geometria. Roberta Godoi Wik Atique
Geometria Roberta Godoi Wik Atique 1 Introdução A Geometria é uma ciência muito antiga. Conhecimentos geométricos não triviais já eram dominados no Egito antigo, na Babilônia e na Grécia. Na forma como
TEORIA DOS CONJUNTOS. Turma: A - Licenciatura em Matemática 1 Semestre de Prof. Dr. Agnaldo José Ferrari OS NÚMEROS NATURAIS
TEORIA DOS CONJUNTOS Turma: 0004105A - Licenciatura em Matemática 1 Semestre de 2014 Prof. Dr. Agnaldo José Ferrari OS NÚMEROS NATURAIS Em 1908 Ernst Zermelo (Alemanha / 1871 1953) propôs usar a sequência,
Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática
Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática 2014 Na teoria dos conjuntos três noções são aceitas sem denição (noção primitiva):: Conjunto;
3 O Teorema de Ramsey
3 O Teorema de Ramsey Nesse capítulo enunciamos versões finitas e a versão infinita do Teorema de Ramsey, além das versões propostas por Paris, Harrington e Bovykin, que serão tratadas no capítulos subseqüentes.
Revisão de conceitos Matemáticos. Matemática e Fundamentos de Informática
Revisão de conceitos Matemáticos Matemática e Fundamentos de Informática 1 1 Conjuntos Teoria dos conjuntos Em Matemática, conjunto é uma coleção de objetos (chamados elementos). Os elementos podem representar
MAT Geometria Euclidiana Plana. Um pouco de história
Geometria Euclidiana Plana Um pouco de história Prof a. Introdução Estudo axiomático da geometria estudada no ensino fundamental e médio, a Geometria Euclidiana Plana. Método axiomático (dedutivo): utilizado
DISCIPLINA: MATEMÁTICA BÁSICA PROF. ELIONARDO ROCHELLY TEC. ALIMENTOS TEC. SISTEMAS INTERNET MATUTINO/VESPERTINO
DISCIPLINA: MATEMÁTICA BÁSICA PROF. ELIONARDO ROCHELLY TEC. ALIMENTOS TEC. SISTEMAS INTERNET MATUTINO/VESPERTINO Conjuntos A noção de conjunto em Matemática é praticamente a mesma utilizada na linguagem
Matemática Discreta - 07
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 07 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Sumário. 1 CAPÍTULO 1 Revisão de álgebra
Sumário 1 CAPÍTULO 1 Revisão de álgebra 2 Conjuntos numéricos 2 Conjuntos 3 Igualdade de conjuntos 4 Subconjunto de um conjunto 4 Complemento de um conjunto 4 Conjunto vazio 4 Conjunto universo 5 Interseção
Introdu c ao ` a L ogica Matem atica Ricardo Bianconi
Introdução à Lógica Matemática Ricardo Bianconi Capítulo 4 Dedução Informal Antes de embarcarmos em um estudo da lógica formal, ou seja, daquela para a qual introduziremos uma nova linguagem artificial
O espaço das Ordens de um Corpo
O espaço das Ordens de um Corpo Clotilzio Moreira dos Santos Resumo O objetivo deste trabalho é exibir corpos com infinitas ordens e exibir uma estrutura topológica ao conjunto das ordens de um corpo.
Introduzir os conceitos de base e dimensão de um espaço vetorial. distinguir entre espaços vetoriais de dimensão fnita e infinita;
META Introduzir os conceitos de base e dimensão de um espaço vetorial. OBJETIVOS Ao fim da aula os alunos deverão ser capazes de: distinguir entre espaços vetoriais de dimensão fnita e infinita; determinar
Curso de Administração Centro de Ciências Sociais Aplicadas Universidade Católica de Petrópolis. Matemática 1. Revisão - Conjuntos e Relações v. 0.
Curso de Administração Centro de Ciências Sociais Aplicadas Universidade Católica de Petrópolis Matemática 1 Revisão - Conjuntos e Relações v. 0.1 Baseado nas notas de aula de Matemática I da prof. Eliane
CURSO INTRODUTÓRIO DE MATEMÁTICA PARA ENGENHARIA Conjuntos. João Victor Tenório Engenharia Civil
CURSO INTRODUTÓRIO DE MATEMÁTICA PARA ENGENHARIA 2016.2 Conjuntos João Victor Tenório Engenharia Civil Definição Noção intuitiva: São coleções de elementos da mesma espécie. - O conjunto de todos os estudantes
CURSO INTRODUTÓRIO DE MATEMÁTICA PARA ENGENHARIA Conjuntos. Isabelle Araujo 5º período de Engenharia de Produção
CURSO INTRODUTÓRIO DE MATEMÁTICA PARA ENGENHARIA 2014.1 Conjuntos Isabelle Araujo 5º período de Engenharia de Produção Definição Noção intuitiva: São coleções de elementos da mesma espécie. - O conjunto
Matemática I. 1 Propriedades dos números reais
Matemática I 1 Propriedades dos números reais O conjunto R dos números reais satisfaz algumas propriedades fundamentais: dados quaisquer x, y R, estão definidos a soma x + y e produto xy e tem-se 1 x +
Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22
Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é
Axioma dos inteiros. Sadao Massago
Axioma dos inteiros Sadao Massago setembro de 2018 Sumário 1 Os Números 2 1.1 Notação......................................... 2 1.2 Números naturais não nulos (inteiros positivos)................... 2
1) Seja o conjunto A = (0;1). Quantas relações binárias distintas podem ser definidas sobre o conjunto A?
RESUMO A relação binária é uma relação entre dois elementos, sendo um conjunto de pares ordenados. As relações binárias são comuns em muitas áreas da matemática. Um par ordenado consiste de dois termos,
Lógica e Matemática Discreta
Lógica e Matemática Discreta Teoria Elementar dos Conjuntos Prof Clezio 04 de Junho de 2010 Curso de Ciência da Computação Noções básicas Um conjunto designa-se geralmente por uma letra latina maiúscula:
Teoria de Conjuntos Do vazio ao Axioma da Escolha
Teoria de Conjuntos Do vazio ao Axioma da Escolha Tiago Macedo I Workshop de Álgebra - UFG - CAC http://ssa_mat.catalao.ufg.br Teoria ingênua de conjuntos Teoria ingênua de conjuntos Um conjunto é uma
Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017
Análise I Notas de Aula 1 Alex Farah Pereira 2 3 23 de Agosto de 2017 1 Turma de Matemática. 2 Departamento de Análise-IME-UFF 3 http://alexfarah.weebly.com ii Conteúdo 1 Conjuntos 1 1.1 Números Naturais........................
Diagrama de Venn O diagrama de Venn representa conjunto da seguinte maneira:
Conjuntos Introdução Lembramos que conjunto, elemento e relação de pertinência são considerados conceitos primitivos, isto é, não aceitam definição. Intuitivamente, sabemos que conjunto é uma lista, coleção
MDI0001 Matemática Discreta Aula 01
MDI0001 Matemática Discreta Aula 01 e Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa Catarina 2016 Karina
Axiomas de corpo ordenado
Axiomas de corpo ordenado 2 a lista de exercícios Análise real A abordagem axiomática dos números reais previne erros que a intuição pode ocasionar e torna mais rigoroso o processo de demonstração matemática,
Centro de Informática UFPE
,, Estruturas,, Centro de Informática UFPE 1 ,, 1 2 3 4 2 ,, Introdução Uma matilha de cães Um cacho de uvas Uma quadrilha de ladrões Estes são exemplos de conjuntos. 3 ,, Definição Um conjunto é um coleção
2019/01. Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG /01 1 / 76
Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG 2019/01 Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG - 2019/01 1 / 76
A Teoria Matemática que serviu como Base para Turing.
A Teoria Matemática que serviu como Base para Turing. Os Teoremas de Incompletude de Godel, de 1931, representam o fim da idade romântica da Matemática. Antes de Godel, fazia parte de um amplo projeto
Axiomatizações equivalentes do conceito de topologia
Axiomatizações equivalentes do conceito de topologia Giselle Moraes Resende Pereira Universidade Federal de Uberlândia - Faculdade de Matemática Graduanda em Matemática - Programa de Educação Tutorial
ÁLGEBRA. AULA 1 _ Conjuntos Professor Luciano Nóbrega. Maria Auxiliadora
1 ÁLGEBRA AULA 1 _ Conjuntos Professor Luciano Nóbrega Maria Auxiliadora 2 Pode-se dizer que a é, em grande parte, trabalho de um único matemático: Georg Cantor (1845-1918). A noção de conjunto não é suscetível
Matemática Discreta - 07
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 07 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Unidade 5 - Subespaços vetoriais. A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa. 10 de agosto de 2013
MA33 - Introdução à Álgebra Linear Unidade 5 - Subespaços vetoriais A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa PROFMAT - SBM 10 de agosto de 2013 Às vezes, é necessário detectar, dentro
UNIVERSIDADE FEDERAL DE PERNAMBUCO DEPARTAMENTO DE ESTATÍSTICA. Medida e Probabilidade
UNIVERSIDADE FEDERAL DE PERNAMBUCO DEPARTAMENTO DE ESTATÍSTICA Medida e Probabilidade Aluno: Daniel Cassimiro Carneiro da Cunha Professor: Andre Toom 1 Resumo Este trabalho contem um resumo dos principais
Números Naturais. MA12 - Unidade 1. Os Axiomas de Peano. O Axioma da Indução. Exemplo: uma demonstração por indução
Os Números Naturais MA1 - Unidade 1 Números Naturais Paulo Cezar Pinto Carvalho PROFMAT - SBM January 7, 014 Números Naturais: modelo abstrato para contagem. N = {1,,3,...} Uma descrição precisa e concisa
Matemática Elementar. Matemática Elementar por Inaldo Barbosa de Albuquerque
Matemática Elementar i Matemática Elementar por Inaldo Barbosa de Albuquerque Matemática Elementar ii COLLABORATORS TITLE : Matemática Elementar ACTION NAME DATE SIGNATURE WRITTEN BY Inaldo Barbosa de
GaZEta DE MatEMátICa
O conjunto de todos os conjuntos não existe Gilda Ferreira Universidade de Lisboa e Universidade Lusófona de Humanidades e Tecnologias gmferreira@fc.ul.pt 24 GAZETA DE MATEMÁTICA 176 Com a reintrodução
MA11 - Unidade 4 Representação Decimal dos Reais Semana 11/04 a 17/04
MA11 - Unidade 4 Representação Decimal dos Reais Semana 11/04 a 17/04 Para efetuar cálculos, a forma mais eciente de representar os números reais é por meio de expressões decimais. Vamos falar um pouco
um breve passeio ao infinito real de cantor
V Bienal da SBM Sociedade Brasileira de Matemática UFPB - Universidade Federal da Paraíba 18 a 22 de outubro de 2010 um breve passeio ao infinito real de cantor maria gorete carreira andrade Resumo O objetivo
Profa. Andréa Cardoso UNIFAL-MG MATEMÁTICA-LICENCIATURA 2015/1
Profa. Andréa Cardoso UNIFAL-MG MATEMÁTICA-LICENCIATURA 2015/1 Aula 18: Euclides e Os Elementos 11/05/2015 2 Euclides século III a.c. Pouco se sabe sobre a personalidade de Euclides. Viveu provavelmente
Uma Conversa Sobre Números Transcendentes
Universidade Federal de Campina Grande Centro de Ciência e Tecnologia Unidade Acadêmica de Matemática Programa de Educação Tutorial Tutor: Prof. Dr. Daniel Cordeiro de Morais Filho Uma Conversa Sobre Números
Produtos de potências racionais. números primos.
MATEMÁTICA UNIVERSITÁRIA n o 4 Dezembro/2006 pp. 23 3 Produtos de potências racionais de números primos Mário B. Matos e Mário C. Matos INTRODUÇÃO Um dos conceitos mais simples é o de número natural e
Capítulo 2: Procedimentos e algoritmos
Capítulo 2: Procedimentos e algoritmos Para estudar o processo de computação de um ponto de vista teórico, com a finalidade de caracterizar o que é ou não é computável, é necessário introduzir um modelo
Notas de aula: Cálculo e Matemática Aplicados às Notas de aula: Ciências dos Alimentos
Notas de aula: Cálculo e Matemática Aplicados às Notas de aula: Ciências dos Alimentos 1 Conjuntos Um conjunto está bem caracterizado quando podemos estabelecer com certeza se um elemento pertence ou não
Procedimentos e Algorítmos Programas e Linguagens de Programação Tese de Church-Turing Formas de Representação de Linguagens
Procedimentos e Algorítmos Programas e Linguagens de Programação Tese de Church-Turing Formas de Representação de Linguagens 1 Introdução Estudar computação do ponto de vista teórico é sinônimo de caracterizar
Existência e Contradição
Existence and Contradiction Prof. Dr. Edelcio Gonçalves de Souza Departamento de Filosofia - PUC-SP edelcio@pucsp.br Resumo: No presente artigo, discutiremos os aspectos filosóficos de teorias de conjuntos
5 AULA. Teorias Axiomáticas LIVRO. META: Apresentar teorias axiomáticas.
1 LIVRO Teorias Axiomáticas 5 AULA META: Apresentar teorias axiomáticas. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Criar teorias axiomáticas; Provar a independência dos axiomas de uma