Podcasts about skolem

Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Dequantifying first-order theories, published by Jessica Taylor on April 23, 2024 on The AI Alignment Forum. The Löwenheim-Skolem theorem implies, among other things, that any first-order theory whose symbols are countable, and which has an infinite model, has a countably infinite model. This means that, in attempting to refer to uncountably infinite structures (such as in set theory), one "may as well" be referring to an only countably infinite structure, as far as proofs are concerned. The main limitation I see with this theorem is that it preserves arbitrarily deep quantifier nesting. In Peano arithmetic, it is possible to form statements that correspond (under the standard interpretation) to arbitrary statements in the arithmetic hierarchy (by which I mean, the union of Σ0n and Π0n for arbitrary n). Not all of these statements are computable. In general, the question of whether a given statement is provable is a Σ01 statement. So, even with a countable model, one can still believe one's self to be "referring" to high levels of the arithmetic hierarchy, despite the computational implausibility of this. What I aim to show is that these statements that appear to refer to high levels of the arithmetic hierarchy are, in terms of provability, equivalent to different statements that only refer to a bounded level of hypercomputation. I call this "dequantification", as it translates statements that may have deeply nested quantifiers to ones with bounded or no quantifiers. I first attempted translating statements in a consistent first-order theory T to statements in a different consistent first-order theory U, such that the translated statements have only bounded quantifier depth, as do the axioms of U. This succeeded, but then I realized that I didn't even need U to be first-order; U could instead be a propositional theory (with a recursively enumerable axiom schema). Propositional theories and provability-preserving translations Here I will, for specificity, define propositional theories. A propositional theory is specified by a countable set of proposition symbols, and a countable set of axioms, each of which is a statement in the theory. Statements in the theory consist of proposition symbols, , , and statements formed from and/or/not and other statements. Proving a statement in a propositional theory consists of an ordinary propositional calculus proof that it follows from some finite subset of the axioms (I assume that base propositional calculus is specified by inference rules, containing no axioms). A propositional theory is recursively enumerable if there exists a Turing machine that eventually prints all its axioms; assume that the (countable) proposition symbols are specified by their natural indices in some standard ordering. If the theory is recursively enumerable, then proofs (that specify the indices of axioms they use in the recursive enumeration) can be checked for validity by a Turing machine. Due to the soundness and completeness of propositional calculus, a statement in a propositional theory is provable if and only if it is true in all models of the theory. Here, a model consists of an assignment of Boolean truth values to proposition symbols such that all axioms are true. (Meanwhile, Gödel's completeness theorem shows soundness and completeness of first-order logic.) Let's start with a consistent first-order theory T, which may, like propositional theories, have a countable set of symbols and axioms. Also assume this theory is recursively enumerable, that is, there is a Turing machine printing its axioms. The initial challenge is to find a recursively enumerable propositional theory U and a computable translation of T-statements to U-statements, such that a T-statement is provable if and only if its translation is provable. This turns out to be trivia...

Anthony Avedissian is a Partner at Seed Club Ventures, a $25 million Venture DAO investing in early-stage projects building infrastructure and applications that improve decentralized coordination. Seed Club Ventures was launched in partnership with Seed Club, the leading accelerator for builders at the intersection of crypto, culture, and community.    -----   This episode is brought to you by:   Skolem Technologies provides institutional grade data and trade execution services for decentralized financial markets.  Skolem is the first full-stack DeFi platform with a robust infrastructure and unique interface layer that provides clients with reliable execution, an easy-to-use web UI and API, and full trade lifecycle support. Skolem's systems are built on a deep understanding of the underlying smart contracts and a security research mentality. For more information on Skolem visit skolem.tech   Global Coin Research ("GCR") is a community-first research and investment DAO. GCR's mission is to create a community-driven investment DAO where the best web3 deals are sourced by community members for community members.  This discussion was recorded in our Discord.  You can find more information about us and how to join at GlobalCoinResearch.com   -----   Remember to rate, review and subscribe to the Podcast!

Simiao Li is the Founder and CIO of Maverick Crypto.  Maverick Crypto is a crypto native research and investment platform focused on advancing "ultra-liquid crypto Capitalism". Simiao was previously an Investment Associate at Bridgewater Associates and has experience investing across macro, growth equities, and crypto.  Simiao graduated from Yale where he dual-majored in Economics and Political Science.   -----   This episode is brought to you by:   Skolem Technologies provides institutional grade data and trade execution services for decentralized financial markets.  Skolem is the first full-stack DeFi platform with a robust infrastructure and unique interface layer that provides clients with reliable execution, an easy-to-use web UI and API, and full trade lifecycle support. Skolem's systems are built on a deep understanding of the underlying smart contracts and a security research mentality. For more information on Skolem visit skolem.tech   Global Coin Research ("GCR") is a community-first research and investment DAO. GCR's mission is to create a community-driven investment DAO where the best web3 deals are sourced by community members for community members.  This discussion was recorded in our Discord.  You can find more information about us and how to join at GlobalCoinResearch.com   ----- Remember to rate, review and subscribe to the Podcast!

James is the co-founder and Managing Partner at North Island Ventures, a crypto-focused investment firm founded in 2020. James leads the firm's research efforts, and is passionate about leveraging data to uncover new trends, inform investment decisions, and support portfolio companies. James has been a full-time crypto investor since 2018, and was previously Head of Research at Coatue Management. James holds an AB in Economics from Harvard.    -----   This episode is brought to you by:   Skolem Technologies provides institutional grade data and trade execution services for decentralized financial markets.  Skolem is the first full-stack DeFi platform with a robust infrastructure and unique interface layer that provides clients with reliable execution, an easy-to-use web UI and API, and full trade lifecycle support. Skolem's systems are built on a deep understanding of the underlying smart contracts and a security research mentality. For more information on Skolem visit skolem.tech   Global Coin Research ("GCR") is a community-first research and investment DAO. GCR's mission is to create a community-driven investment DAO where the best web3 deals are sourced by community members for community members.  This discussion was recorded in our Discord.  You can find more information about us and how to join at GlobalCoinResearch.com   -----   Remember to rate, review and subscribe to the Podcast!

Joel David Hamkins is the O'Hara Professor of Philosophy and Mathematics at the University of Notre Dame, where he recently moved from the University of Oxford. Joel is one of the leading set theorists and philosophers of mathematics in the world, and he and Robinson discuss a lot—Hilbert's Hotel, the continuum hypothesis, the set-theoretic multiverse, and even Joel's dapper hat collection—but the main subject is his upcoming book, The Book of the Infinite, which is an accessible text on paradoxes and infinity. Joel has made the novel move of serializing it on Substack, so you can participate in its creation by checking out the link below, and otherwise see what he's thinking about and working on through Twitter, MathOverflow, and his blog. The conversation grows technical from 1:10:26-2:00:25, but for those to whom that doesn't appeal there are timestamps to navigate around this portion of the show. Substack: https://joeldavidhamkins.substack.com Twitter: https://twitter.com/JDHamkins MathOverflow: https://mathoverflow.net/users/1946/joel-david-hamkins Joel's Blog: http://jdh.hamkins.org OUTLINE: 00:00 Introduction 2:52 Is Joel a Mathematician or a Philosopher? 6:13 The Philosophical Influence of Hugh Woodin 10:29 The Intersection of Set Theory and Philosophy of Math 16:29 Serializing the Book of the Infinite 20:05 Zeno of Elea, Continuity, and Geometric Series 39:39 Infinite Games and the Chocolatier 53:35 Hilbert's Hotel 1:10:26 Cantor's Theorem 1:31:37 The Continuum Hypothesis 1:43:02 The Set-Theoretic Multiverse 2:00:25 Berry's Paradox and Large Numbers 2:16:15 Skolem's Paradox and Indescribable Numbers 2:28:41 Pascal's Wager and Reasoning Around Remote Events 2:49:35 MathOverflow 3:04:40 Joel's Impeccable Fashion Sense Linktree: https://linktr.ee/robinsonerhardt Twitter: https://twitter.com/robinsonerhardt Instagram: https://www.instagram.com/robinsonerhardt/ Twitch (Robinson Eats): https://www.twitch.tv/robinsonerhardt YouTube (Robinson Eats): youtube.com/@robinsoneats TikTok: https://www.tiktok.com/@robinsonerhardt --- Support this podcast: https://podcasters.spotify.com/pod/show/robinson-erhardt/support

Gregory d'Incelli is the co-founder of Scenius Capital. Scenius is a digital assets and blockchain technology investment firm focused on providing sophisticated investors curated access to best-in-class opportunities via portfolio funds, co-investment and direct investment. Scenius manages a hedge fund of funds and is launching a venture fund of funds. Greg is a former lawyer and litigator who turned a passion for digital assets into a career as a crypto fund manager. Greg has degrees from Dartmouth College and the University of Miami School of Law. -----   This episode is brought to you by:   Skolem Technologies provides institutional grade data and trade execution services for decentralized financial markets.  Skolem is the first full-stack DeFi platform with a robust infrastructure and unique interface layer that provides clients with reliable execution, an easy-to-use web UI and API, and full trade lifecycle support. Skolem's systems are built on a deep understanding of the underlying smart contracts and a security research mentality. For more information on Skolem visit skolem.tech   Global Coin Research ("GCR") is a community-first research and investment DAO. GCR's mission is to create a community-driven investment DAO where the best web3 deals are sourced by community members for community members.  This discussion was recorded in our Discord.  You can find more information about us and how to join at GlobalCoinResearch.com   -----   Remember to rate, review and subscribe to the Podcast!

Amit Mukherjee is the founder of Chainforest. Chainforest is a venture DAO that invests primarily at the pre-seed stage into web3 founders. Chainforest has a unique structure from other venture DAOs - it curates a small, selective community, who have the opportunity to support the DAO and its investing process in exchange for a tokenized interest in the fund. Amit also serves as Co-Treasury Lead at Friends With Benefits and previously, Amit was a Partner at the venture capital firm NEA.  Amit graduated from Princeton with an A.B. in Economics and has been recognized in Forbes 30 Under 30. -----   This episode is brought to you by:   Skolem Technologies provides institutional grade data and trade execution services for decentralized financial markets.  Skolem is the first full-stack DeFi platform with a robust infrastructure and unique interface layer that provides clients with reliable execution, an easy-to-use web UI and API, and full trade lifecycle support. Skolem's systems are built on a deep understanding of the underlying smart contracts and a security research mentality. For more information on Skolem visit skolem.tech   Global Coin Research ("GCR") is a community-first research and investment DAO. GCR's mission is to create a community-driven investment DAO where the best web3 deals are sourced by community members for community members.  This discussion was recorded in our Discord.  You can find more information about us and how to join at GlobalCoinResearch.com   -----   Remember to rate, review and subscribe to the Podcast!

When Melanie Mason found herself without work at the beginning of 2020 she wasn't sure what she wanted to do, but she knew that she wanted to find meaningful work. With a little time on her hands, she found herself reading books about crypto that belonged to her partner. It wasn't long before she saw that crypto was a path to doing good in the world as well as a way of building wealth, and sought out work within the web3 space. I sat down with Melanie to talk about her path to crypto, her role in supporting Unraveling Crypto behind the scenes, the value of women contributing to the evolution of crypto (and her views on traditional female roles), and her top advice as a recruiter in the web3 space for anyone curious about getting started. - Meet Our Guest Melanie is a recruiter at Skolem Technologies, a DeFi startup. She found a love for crypto after reading about the history of money and rethinking our financial systems, and the relationship between women & money. She's passionate about helping people make the leap to crypto. Skolem is hiring! If you're interested in making a career shift to crypto/DeFi, check out open roles on their careers page. Connect with Melanie on https://twitter.com/melmasonbtc (Twitter) - What We Unraveled * Melanie's path from being unemployed at the start of the pandemic to joining the crypto space and securing a job as a recruiter in the space, after a long search for meaningful work * How Melanie has helped behind the scenes of Unraveling Crypto from the very start of this podcast * Why Melanie's first purchase was a big deal in terms of helping her reshape her relationship with money, and eventually connect the narratives of ‘doing good' and ‘being wealthy' * What made Melanie realize that when it came to money, she couldn't ‘leave it to the guys' and learn about investing * The practical things Melanie does when investing in crypto including dollar cost averaging, monthly budget, and why starting with $5 a month is more than enough to start with * Why Melanie feels the best parts of her web3 experience has been the people she's connected with, and learning that she can do good and make make money at the same time * The growth areas that Melanie sees in the web3 space, including diversity and user experience * Melanie's advice as a recruiter to anyone interested in finding a job in the web3 and crypto space, and why imposter syndrome stops people from applying for roles they'd be great for * The dynamic between partners when one is interested in crypto, and one isn't (yet) * Why Melanie feels it's everyone's responsibility to be welcoming and inclusive in the web3 space, and encourages both men and women to mentor and support others to get started * The current issues in the way web3 and crypto are marketed to people outside the space * What Melanie is most proud of * Melanie's thoughts on traditional gender roles, working full time, and the challenges of trying to suppress femininity working in tech - Unravel Further Melanie on https://www.linkedin.com/in/melanie-mason-31683199/ (LinkedIn) Melanie on https://www.instagram.com/melmason1/ (Instagram) Bitcoin Billionaires by Ben Mezrich The Bitcoin Standard by Saifedean Ammous The Psychology of Money by Morgan Housel https://www.gemini.com/ (Gemini) https://skolem.com/ (Skolem) https://www.hirevibes.com/ (Hire Vibes) https://twitter.com/magdalenakala (Mags) - Connect with Vane https://my.captivate.fm/twitter.com/vanesvibes (Twitter) https://my.captivate.fm/instagram.com/vanesvibes (Instagram) https://www.youtube.com/unravelingcrypto (YouTube) https://tiktok.com/@vanesvibes (TikTok) - Did you love this conversation? Why not leave us a review and tell the world!

Brett Palatiello is a partner and head of blockchain at Interplay. Interplay is a platform that supports founders in numerous ways, including VC capital, mentorship, services and education.  Prior to joining Interplay, Brett was the Head of Systematic Macro & Equities at Ridgewood Analytica where he provided research and consulting services to hedge funds, wealth managers, and family offices. Before that, Brett was a partner and portfolio manager at Spring Valley Asset Management where he managed a systematic global macro product which won him HFM's Quant Newcomer of the Year. He began his career as a quantitative researcher and portfolio manager at a multi-strategy hedge fund where he traded a variety of asset classes and built out the research and production technology. Along the way, he consulted on token design, published an academic paper, and was a Fellow at the Economic Club of New York.   -----   This episode is brought to you by:   Skolem Technologies provides institutional grade data and trade execution services for decentralized financial markets.  Skolem is the first full-stack DeFi platform with a robust infrastructure and unique interface layer that provides clients with reliable execution, an easy-to-use web UI and API, and full trade lifecycle support. Skolem's systems are built on a deep understanding of the underlying smart contracts and a security research mentality. For more information on Skolem visit skolem.tech   Global Coin Research ("GCR") is a community-first research and investment DAO. GCR's mission is to create a community-driven investment DAO where the best web3 deals are sourced by community members for community members.  This discussion was recorded in our Discord.  You can find more information about us and how to join at GlobalCoinResearch.com   -----   Remember to rate, review and subscribe to the Podcast!

Nihar Shah and Lucas Baker are researchers and investors at Jump Crypto, the crypto division of Jump Trading Group, a research-driven quantitative trading firm.  Jump Crypto is committed to building and standing up critical infrastructure needed to catalyze the growth of the crypto ecosystem. They study questions regarding protocol and mechanism design, tokenomics, stablecoins, optimal governance, core blockchain infrastructure, and the financial stability of crypto ecosystems. Lucas previously worked as a macro researcher at D.E. Shaw and a software engineer on the DeepMind AlphaGo team. He received his undergraduate degree in computer science from Stanford University and an MS/MBA dual degree from Harvard University. Nihar previously worked as an economist at Meta on the Libra/Diem cryptocurrency project. He received his undergraduate degree in economics, masters degrees in statistics and economics, and PhD in economics, all from Harvard University.   -----   This episode is brought to you by:   Skolem Technologies provides institutional grade data and trade execution services for decentralized financial markets.  Skolem is the first full-stack DeFi platform with a robust infrastructure and unique interface layer that provides clients with reliable execution, an easy-to-use web UI and API, and full trade lifecycle support. Skolem's systems are built on a deep understanding of the underlying smart contracts and a security research mentality. For more information on Skolem visit skolem.tech   Global Coin Research ("GCR") is a community-first research and investment DAO. GCR's mission is to create a community-driven investment DAO where the best web3 deals are sourced by community members for community members.  This discussion was recorded in our Discord.  You can find more information about us and how to join at GlobalCoinResearch.com   -----   Remember to rate, review and subscribe to the Podcast!

Adam Struck is the Founder and Managing Partner at Struck Crypto. Adam is also the Founder and Managing Partner of Struck Capital as well as the CEO of Struck Studio. Struck Crypto is a permanent capital evergreen vehicle with over $100M AUM and has been investing in the blockchain space since 2017. The firm was the first ever investor in leading deals such as Mythical Games and Zero Hash. The firm was also an early backer of leading Layer-1s in the space such as Algorand and Hashgraph, as well as leading DeFi projects such as 1inch. Before Struck Crypto, Adam was a Co-Founder of Long Island Brand Beverages, a CPG company taken public on the NASDAQ. Earlier in his career, Adam was an M&A attorney at Kirkland & Ellis. He has also been recognized for his work by Forbes' 30 Under 30 List for Venture Capital.  Adam graduated from Northwestern University, Kellogg School of Management, and Georgetown Law, and originally hails from South Africa.   -----   This episode is brought to you by:   Skolem Technologies provides institutional grade data and trade execution services for decentralized financial markets.  Skolem is the first full-stack DeFi platform with a robust infrastructure and unique interface layer that provides clients with reliable execution, an easy-to-use web UI and API, and full trade lifecycle support. Skolem's systems are built on a deep understanding of the underlying smart contracts and a security research mentality. For more information on Skolem visit skolem.tech   Global Coin Research ("GCR") is a community-first research and investment DAO. GCR's mission is to create a community-driven investment DAO where the best web3 deals are sourced by community members for community members.  This discussion was recorded in our Discord.  You can find more information about us and how to join at GlobalCoinResearch.com   -----   Remember to rate, review and subscribe to the Podcast!

Jason Hitchcock is the founder and General Partner of 4 Moons, a firm that invests in web3 assets and advises hedge funds on liquid token strategies. Prior to his move into crypto, Jason spent a decade at early stage startups across gaming, adtech, social, and e-commerce.  Jason was part of the founding team of Bebo, a live streaming app which was acquired by Twitch. While at Twitch, Jason led fandom strategy for their original content programs. Jason's been investing in crypto since 2016 and is betting everything on DeFi and NFTs enabling a global economic transformation.   -----   This episode is brought to you by:   Skolem Technologies provides institutional grade data and trade execution services for decentralized financial markets.  Skolem is the first full-stack DeFi platform with a robust infrastructure and unique interface layer that provides clients with reliable execution, an easy-to-use web UI and API, and full trade lifecycle support. Skolem's systems are built on a deep understanding of the underlying smart contracts and a security research mentality. For more information on Skolem visit skolem.tech   Global Coin Research ("GCR") is a community-first research and investment DAO. GCR's mission is to create a community-driven investment DAO where the best web3 deals are sourced by community members for community members.  This discussion was recorded in our Discord.  You can find more information about us and how to join at GlobalCoinResearch.com   -----   Remember to rate, review and subscribe to the Podcast!

Today our guest is Brooke Pollack, the Founder & Managing Partner of Hutt Capital, a blockchain venture capital fund of funds platform. Prior to Hutt Capital, Brooke spent a decade investing across private fund, secondary and direct strategies with leading global investment firms. Most recently, he spent more than four years with Greenspring Associates, a venture capital platform with over $17 billion assets under management, where he spearheaded their blockchain and crypto efforts. Earlier in his career, Brooke spent time at Hamilton Lane, a global private equity advisory and asset management firm, and CTC Consulting, an investment consulting firm for high net worth individuals and families.   -----   This episode is brought to you by:   Skolem Technologies provides institutional grade data and trade execution services for decentralized financial markets.  Skolem is the first full-stack DeFi platform with a robust infrastructure and unique interface layer that provides clients with reliable execution, an easy-to-use web UI and API, and full trade lifecycle support. Skolem's systems are built on a deep understanding of the underlying smart contracts and a security research mentality. For more information on Skolem visit skolem.tech   Global Coin Research ("GCR") is a community-first research and investment DAO. GCR's mission is to create a community-driven investment DAO where the best web3 deals are sourced by community members for community members.  This discussion was recorded in our Discord.  You can find more information about us and how to join at GlobalCoinResearch.com   -----   Remember to rate, review and subscribe to the Podcast!

I øjeblikket får mere end 100.000 børn hver dag mælk fra skolemælksordningen til deres frokost. Men det er håbløst gammeldags, og det skal der laves om på, lyder det i et nyt debatindlæg i Politiken. Bag indlægget står Greenpeace, Dansk Vegetarisk Forening og Dyrenes Beskyttelse. De kritiserer blandt andet, at skolemælksordningen er med til at grundlægge vaner hos vores børn, der ikke er en naturlov. Skal vi stoppe med at give det et milliontilskud til mælken? Og hvor sundt er det overhovedet? Det diskuterer vi sammen med dagens gæster Camilla Trab Damsgaard, Lektor i Ernæring og Sundhed og Bettina Buhl, madhistoriker. See omnystudio.com/listener for privacy information.

Skolemåltid mot fedme, barnetrygd, nye detaljer om kong Olav, bistand, Høyres klimapolitikk og emosjonell Moria-politikk.

I denne episoden av #LØRN utforsker Silvija og direktør for produkt og teknologi i Aker BioMarine, Lotte Skolem, hvordan et av landets mest innovative selskaper skaper verdi og nye bioteknologiprosesser av krill.— BioTech er sentralt i alt fra produksjon av øl, papir og vaksiner til gensekvensering og manipulering av mikroorganismer, planter, dyr og mennesker, til personalisert diagnostikk, predikering og behandling, forteller hun i episoden.Bli en #lørner du også — abonner på podkasten vår!Følg oss gjerne i sosiale medier

Står du fast med ditt Wildcard? Da bør du høre på denne podkasten. Gutta har notert godt, og diskuterer hvordan lag de hadde satt opp sitt lag. Med seg i studio hadde de Norgesmester i poker, Kristoffer Skolem, som virkelig er en fantasyentusiast.

Står du fast med ditt Wildcard? Da bør du høre på denne podkasten. Gutta har notert godt, og diskuterer hvordan lag de hadde satt opp sitt lag. Med seg i studio hadde de Norgesmester i poker, Kristoffer Skolem, som virkelig er en fantasyentusiast.

Neste episódio falarei um pouco sobre algumas teorias de conjuntos e como essas teorias possuem diferentes conceitos e permitem concluir resultados muitas vezes conflitantes entre si (embora corretos dentro de seus próprios escopos).

Neste episódio falarei um pouco sobre algumas teorias de conjuntos e como essas teorias possuem diferentes conceitos e permitem concluir resultados muitas vezes conflitantes entre si (embora corretos dentro de seus próprios escopos).

El Profesor Florencio González Asenjo, catedrático de matemática de la Universidad de Pittsburgh, imparte la cuarta y última conferencia del ciclo titulado “Cuestiones de metamatemática”. En su última charla, el profesor estudió las relaciones entre la metamatemática y la teoría de modelos, y discutió la paradoja de Skolem y las nociones relativamente recientes de conjunto genérico y condición forzante. Más información de este acto