Podcasts about teoremas

Achatamento METAFÍSICO - Gödel e Turing Esse meu vídeo irá analisar as fronteiras ontológicas que distinguem a inteligência humana do processamento computacional, fundamentando-se nos limites lógicos/matemáticos estabelecidos por Gödel e Turing. Veremos também, apoiado em Roger Penrose, que a mente transcende algoritmos formais por possuir uma compreensão semântica e uma inteligência sentiente que as máquinas não podem replicar. Através da filosofia de Xavier Zubiri e a teoria ecológica de Gibson, tentarei contestar o modelo representacional do cérebro, propondo que a percepção humana é uma apreensão direta do real e não uma mera representação de captações de coisas incognocíveis. Por fim, a discussão integra metafísica e física quântica para sustentar uma visão realista, onde a consciência e o livre-arbítrio operam em uma hierarquia ontológica superior à causalidade mecânica de sistemas formais. Disto, estabelece-se que a diferença entre homens e máquinas é de natureza estrutural, não meramente quantitativa, definindo o ser humano por sua abertura viva ao mundo em contraste com o confinamento abstrato da computação em mera linguagem.Autores e Obras Citados nas Fontes• Alan Turing: Citado pelo seu modelo conceitual da Máquina de Turing, uma abstração matemática que define o que significa calcular e que serve de base para toda a computação moderna.• Charles Sanders Peirce: Referenciado por sua Semiótica, na qual o signo é uma mediação entre o sujeito e a realidade. Suas obras sobre semiótica e pragmatismo possuem diversas edições no Brasil, frequentemente sob o título Semiótica.• David Chalmers: Mencionado pelo problema dos Qualia e pela dimensão subjetiva da consciência ("como é" a experiência). Sua obra mais influente, A Mente Consciente, trata extensivamente desses temas e está disponível em português.• Gottfried Wilhelm Leibniz: Citado pelo conceito de Compossível e sua teoria dos mundos possíveis, que integra leis naturais e decisões livres.• James J. Gibson: Autor da Teoria Ecológica da Percepção e crítico do modelo representacional da mente. Sua obra principal, The Ecological Approach to Visual Perception, é a base dessas discussões.• Kurt Gödel: Citado pelos seus Teoremas da Incompletude, que demonstraram limites estruturais na matemática formal e na computação.• Luis de Molina: Criador do Molinismo, citado por sua doutrina sobre o conhecimento médio de Deus e os contrafactuais da liberdade.• Roger Penrose: Citado por sua crítica à redução da mente humana a sistemas algorítmicos, inspirada em Gödel. Penrose argumenta que o pensamento humano possui uma apreensão semântica da verdade que máquinas não possuem. Obras como A Mente Nova do Rei e O Microcosmo da Mente abordam esses temas e estão disponíveis em português.• Tomás de Aquino: Referenciado por sua Metafísica Tomista e pelas Cinco Vias, especificamente a via da contingência, que trata de Deus como causa necessária e vertical. Sua obra magna, a Suma Teológica, está amplamente disponível em português.• Wolfgang Smith: Autor do livro O Enigma Quântico (citado explicitamente com o título em português), onde propõe uma estrutura tripartida da realidade para explicar o colapso da função de onda.• Xavier Zubiri: Citado pela sua obra e conceito de Inteligência Sentiente, que defende a unidade entre sensação e intelecção como uma apreensão direta do real. O livro Inteligência Sentiente possui tradução para o português - editora É Realizações.Quer Ajudar o canal? Veja como:*Link do meu Livro: https://amzn.to/4dbsdhK*Pix: https://widget.livepix.gg/embed/e47d6b80-f832-4fc2-a6af-ee6fa4c9ad9a*Apoie o Canal: https://apoia.se/canaldosocran

TWITTER (X): @DesvariosFrikis Hideo Kojima, un genio incomprendido quepor fin tiene su podcast: Hideo Kojima (小島秀夫, Kojima Hideo; Soshigaya, Japón; 24 de agosto de 1963) es un diseñador y director de videojuegos japonés. Fue el vicepresidente de Konami Computer Entertainment Japan y actualmente se encuentra a cargo del equipo desarrollador de videojuegos Kojima Productions, un nuevo equipo dedicado a la creación de videojuegos creativos dejando de lado las decisiones económicas y administrativas. Hideo Kojima es el creador y director de varios videojuegos exitosos, incluyendo franquicias como Death Stranding, Metal Gear, Snatcher y Policenauts. También ha producido juegos como Zone of the Enders y Boktai.

Esta foi uma palestra do Esquenta SE4FP, um evento de divulgação do 1st Workshop on Software Engineering for Functional Programming https://se4fp.github.io/2025/. Nesta palestra tivemos a Sofia Rodrigues, que já esteve conosco, junto com Algebraic Gabi, no episódio sobre Lean:No YouTube: https://youtu.be/LaN6XzyCqaoNo Creators: https://creators.spotify.com/pod/show/elixiremfoco/episodes/32--A-linguagem-Lean--com-Algebraic-Sofia-e-Algebraic-Gabi-e2b8kao/a-a9i7aggNo Spotify: https://open.spotify.com/episode/7ul2BgLy23cM5dQPMMcsoqAlguns links mencionados:https://lean-lang.org/theorem_proving_in_lean4/ https://lean-lang.org/functional_programming_in_lean/ https://t.me/leanlangbr https://softwarefoundations.cis.upenn.edu/ https://www.paultaylor.eu/stable/prot.pdf Quer participar das próximas palestras ao vivo? Inscreva-sem em https://forms.gle/RFZn3gTF6g6DQSdSA

Natacha G. Mendoza, escritora de Teoremas del silencio

Com Jorge Buescu, Matemático, vice-presidente da Sociedade Europeia de Matemática.

En el episodio de hoy de "10 Minutos con Sami", exploramos tres historias fascinantes del mundo tecnológico y científico. Comenzamos con el ambicioso proyecto de Meta: una red de cables submarinos de 40.000 kilómetros valorada en 10.000 millones de dólares. Además, nos adentramos en un hito matemático histórico: la refutación de la Conjetura de la Litera después de 40 años, gracias a un innovador enfoque computacional. Finalmente, analizamos la última batalla legal de Google en Canadá, donde la Oficina de Competencia busca desmantelar parte de su imperio publicitario digital. Este caso se suma a más de 100 investigaciones antimonopolio que enfrenta el gigante tecnológico en 23 jurisdicciones diferentes, marcando un momento crucial en la regulación de las grandes empresas tecnológicas. Fuentes: https://www.silicon.co.uk/networks/carriers/meta-plans-subsea-cable-for-its-own-exclusive-use-report-590860, https://techcrunch.com/2024/11/29/meta-plans-to-build-a-10b-subsea-cable-spanning-the-world-sources-say/, https://www.quantamagazine.org/maths-bunkbed-conjecture-has-been-debunked-20241101/, https://www.canada.ca/en/competition-bureau/news/2024/11/competition-bureau-sues-google-for-anti-competitive-conduct-in-online-advertising-in-canada.html Redes: Puedes buscarme por redes sociales como Threads, Twitter e Instagram con @olivernabani, y puedes encontrarme habitualmente en Twitch: http://twitch.tv/olivernabani Puedes encontrar tanto este Podcast como otro contenido original en YouTube: https://youtube.com/olivernabani Además si quieres participar en la comunidad mashain, tenemos un server de Discord donde compartimos nuestras inquietudes: https://discord.gg/7M2SEfbF Un canal de Telegram donde os aviso de novedades y contenidos: https://t.me/sedicemashain Y un canal de Whatsapp: https://whatsapp.com/channel/0029VaCSKOzFCCoavMoLwX43 Y por supuesto lo más importante, recuerda: No se dice Machine, se dice Mashain

La importancia de las palabras. Agradecimientos después del lapso. El acoso escolar. Noticias antiglobalistas. El autor de los últimos minutos, con el genial párrafo sobre la libertad es Nemo de Nome* Como de ordinario, la transcripción extendida del episodio se encontrará dentro de unas horas en http;//disienta.blogspot.com ___________________________________________ *Nemo de Nome. Teoremas de cordura íntima. Otra obra del mismo autor: https://archive.org/details/travesia-por-el-abismo

Programa realizado em 24/08/2023 Participantes: Hector Pereira e Convidado: Prof. Fábio Arceu.

Hoy probamos algo distinto, que se repetirá una vez por mes. Analizamos canciones que uds nos pidieron. En este episodio: "La planta", "Rebelde", Ay Amor, Queres ser mi amante, nadie te podrá olvidar, Teoremas, Buenos Días amor, Mariposa Traicionera y Formas de Amor. ¡Escucha nuestra temporada exclusiva en Podimo! https://podimo.com/latam/herejes Apoya Herejes: https://www.patreon.com/herejeselpodcast Merch https://www.staymetal666.mitiendanube.com/

Nuestro amigo matemático PABLO GROISMAN nos regala "TE REGALO UN TEOREMA", el librazo que presentó con Tanta Agua Editorial (Juli Elffman), libro ganador del premio al mejor libro del año en los premios CFM 2022, solo superado por el libro de CFM. Acá nos trae dos teoremas: números primos y otro de gente que coge más que uno siempre. Si querés este librazo está en bit.ly/TRUT

Estudar faz com que entremos em contato com vários teoremas, várias teorias, vários lemas, leis e paradoxos… Nessa nova série do Dragões de Garagem trazemos nossos teoremas e teorias favoritos pra roda. Não sabe o que são teoremas? teorias? Como essas coisas se encaixam nas suas áreas? Fique tranquilo, explicamos também! Numa conversa bem descontraída […]

Nos despedimos de las reviews con la tercera tanda de las canciones huérfanas de José Madero, que incluye: "La Petit Mort", "Mercedes", "Teoremas, etc.", "Peonías pt. 3" e "Invócame". MIS REDES SOCIALES: ⁠Instagram⁠ ⁠Facebook⁠ ⁠Twitter⁠ ⁠TikTok

A dinâmica e a progressividade das revelações espíritas - Texto do Conurso A Doutrina Explica; Teoremas da incompletude de Godel . Obras básicas e complementares da Doutrina Espírita. (live no YouTube) - Palestrante: Juan Carlos Orozco

Gracias por escucharme en este episodio; recuerda suscribirte y picar la campanita para no perderte ningún episodio. La recomendación musical del episodio: Teoremas, etc. - José Madero

En este episodio (cortito) hablamos un poco de las nuevas canciones de José Madero, los mejores sencillos huérfanos, El mensaje de Ricky en Twitter y si queremos de verdad que PXNDX regrese. Twitter @gerapodcast ig @gerapodcas FB: El podcast de el pinche Gera

Hablamos con María Calavia y Yerai Rubio sobre Teoremas, el primer Ep publicado por su nueva aventura musical: La Máquina de Turing. También …

Teoremas relacionados con la geometría clásica que reciben el nombre de teorema de Tales, ambos atribuidos al matemático griego Tales de Mileto en el siglo VI a. C.

Saiba como usar os ambientes de teorema e prova em seu trabalho LaTeX. [powerpress] O post Teoremas e provas em LaTeX – CL 16 apareceu primeiro em Vida Estudantil.

Saiba como usar os ambientes de teorema e prova em seu trabalho LaTeX. [powerpress] O post Teoremas e provas em LaTeX – CL 16 apareceu primeiro em Vida Estudantil.

La tertulia semanal en la que repasamos las últimas noticias de la actualidad científica. En el episodio de hoy: Despedimos a Sir Michael Atiyah, uno de los grandes matemáticos del siglo XX; K2 286b, un exoplaneta rocoso; CHIME y las "misteriosas señales de radio extraterrestres"; Plantas con flores: El "abominable misterio" de la evolución de Darwin; La inteligencia artificial se topa con los teoremas de incompletitud matemática de Gödel. En la foto, de arriba a abajo y de izquierda a derecha: Alberto Aparici, Sara Robisco, Francis Villatoro, Héctor Socas, Marian Martínez. Todos los comentarios vertidos durante la tertulia representan únicamente la opinión de quien los hace… y a veces ni eso. CB:SyR es una colaboración entre el Área de Investigación y la Unidad de Comunicación y Cultura Científica (UC3) del Instituto de Astrofísica de Canarias.

La tertulia semanal en la que repasamos las últimas noticias de la actualidad científica. En el episodio de hoy: Despedimos a Sir Michael Atiyah, uno de los grandes matemáticos del siglo XX; K2 286b, un exoplaneta rocoso; CHIME y las "misteriosas señales de radio extraterrestres"; Plantas con flores: El "abominable misterio" de la evolución de Darwin; La inteligencia artificial se topa con los teoremas de incompletitud matemática de Gödel. En la foto, de arriba a abajo y de izquierda a derecha: Alberto Aparici, Sara Robisco, Francis Villatoro, Héctor Socas, Marian Martínez. Todos los comentarios vertidos durante la tertulia representan únicamente la opinión de quien los hace… y a veces ni eso. CB:SyR es una colaboración entre el Área de Investigación y la Unidad de Comunicación y Cultura Científica (UC3) del Instituto de Astrofísica de Canarias.

SARAVIA ES UNA MAMI CRACK

Nesse episódio, Sebs, Eliomar e Ulisses, além do convidado Leo Akio (que escreveu o livro "Matemática e a Síndrome de Down" e coordena a página dos professores de matemática no Facebook ) falam um pouco sobre a beleza, a pureza e o charme que só a Matemática pode nos proporcionar!

En esta emisión de “Nuestro Patrimonio” trataremos de dos obras raras, muy difícil de encontrar en bibliotecas a nivel mundial, no solo nacional. Una se trata del título: “Elementorum geometriae quae ad rem physicam plurimum adtinet, epitome”.

Teoremas que garantizan la identificación de matrices diagonalizables. Introducción a los sistemas dinámicos por medio de un ejemplo de ecuaciones en diferencias

Teoremas de convergencia para los métodos iterativos

Estou postando minha foto para matar a curiosidade das meninas e também para para acabar com este ditado de que todo locutor e feio. Este sou eu em minha melhor forma. O programa de hoje esta fervendo com teorias e construções filosóficas de bêbados  teoremas masculinos, e frases de impacto.Venha e entre na nossa Mercearia.