पूरी तरह से काले और सफेद कमरे में पली-बढ़ी प्रतिभाशाली तंत्रिका-वैज्ञानिक मैरी मानव रंग दृष्टि के बारे में हर भौतिक सत्य सीखती है। जब वह बाहर निकलती है और पहली बार एक पका हुआ लाल टमाटर देखती है, तो क्या वह कुछ नया सीखती है? नेगेल के चमगादड़, जैक्सन के ज्ञान तर्क, चाल्मर्स के दार्शनिक ज़ॉम्बी, द्वि-आयामी मोडल सेमैंटिक्स, भौतिकवादी प्रति-रणनीतियों, रसेलियन अद्वैतवाद और एकीकृत सूचना सिद्धांत (IIT) का गहन विश्लेषण।
समय के साथ व्यक्तिगत तादात्म्य (Personal Identity) का गहन दार्शनिक विश्लेषण: जॉन लॉक का स्मृति सिद्धांत, थॉमस रीड का बहादुर अधिकारी विरोधाभास, बटलर की चक्रक आपत्ति, प्राणीवाद (Animalism), और डेरेक पारफिट की टेलीट्रांसपोर्टर तथा मस्तिष्क विखंडन विचार-प्रयोग।
फ्रेगे के 'अर्थ और निर्देश' तथा रसेल के विवरण सिद्धांत से लेकर क्रिप्की के 'रिजिड डेसिग्नेटर्स', पटनम के 'जुड़वां पृथ्वी' विचार प्रयोग (H2O बनाम XYZ), बर्ज के सामाजिक बाह्यवाद और आधुनिक लार्ज लैंग्वेज मॉडल्स (LLM) में सिंबल ग्राउंडिंग समस्या तक का गहन दार्शनिक विश्लेषण।
स्वतंत्र इच्छा और नैतिक उत्तरदायित्व का गहन दार्शनिक और औपचारिक विश्लेषण: लाप्लास का दानव और कारणात्मक नियतिवाद, पीटर वैन इनवेगन का परिणाम तर्क (Consequence Argument), क्वांटम अनिर्धारणवाद और 'भाग्य का तर्क', गैलेन स्ट्रॉसन का मूल तर्क, डेविड ह्यूम और हैरी फ्रैंकफर्ट के प्रति-उदाहरण, पी.एफ. स्ट्रॉसन की प्रतिक्रियात्मक मनोवृत्तियाँ और बेंजामिन लिबेट का तत्परता विभव प्रयोग।
कोलिन रैडफोर्ड के 'कथा के विरोधाभास' (भावनात्मक प्रतिक्रिया, अस्तित्वगत विश्वास और अविश्वास की असंगत त्रयी), भावनाओं के संज्ञानवाद, कोलरिज के 'अविश्वास के स्वैच्छिक निलंबन', केंडल वाल्टन के 'मेक-बिलीव (बनावटी खेल)' सिद्धांत और छद्म-भय (Quasi-Fear), विचार सिद्धांत (Thought Theory), त्रासदी के विरोधाभास, काल्पनिक प्रतिरोध और काल्पनिक संस्थाओं के कलाकृति सत्तामीमांसा का गहन दार्शनिक विश्लेषण।
फ्रेडरिक फिच (Frederic Fitch) के 1963 के ज्ञेयता विरोधाभास (Paradox of Knowability, जो एलोन्ज़ो चर्च की 1945 की गुमनाम समीक्षा रिपोर्ट से उत्पन्न हुआ) पर एक व्यापक औपचारिक और दार्शनिक प्रबंध। हम चरण-दर-चरण व्युत्पन्न करते हैं कि कैसे उदार यथार्थवाद-विरोधी 'ज्ञेयता सिद्धांत' (∀p(p → ◇Kp)) केवल ज्ञान की तथ्यात्मकता और संयोजन वितरण के उपयोग से 'सर्वज्ञता सिद्धांत' (∀p(p → Kp)) में ढह जाता है, और चार प्रमुख बचाव मार्गों का विश्लेषण करते हैं: माइकल डमेट का अंतर्ज्ञानवादी तर्कशास्त्र, नील टेनेंट का कार्तीय प्रतिबंध, डोरोथी एजिंगटन का द्वि-आयामी मॉडल तर्कशास्त्र, और गतिशील ज्ञानमीमांसीय तर्कशास्त्र (PAL)।
मैनहोल के ढक्कन गोल क्यों होते हैं इस पहेली से लेकर मिंकोव्स्की समर्थन फलन, विषम हार्मोनिक फूरियर श्रेणी, बार्बियर प्रमेय (L = πw) की दो पूर्ण उपपत्तियाँ, ब्लाश्के-लेबेग क्षेत्रफल न्यूनतमकरण प्रमेय, हैरी वाट्स के चौकोर छेद वाली ड्रिल की सटीक गतिकी (98.77% क्षेत्रफल) और त्रि-आयामी माइसनर पिंडों तक का संपूर्ण विश्लेषण।
मॉर्फो तितली के बिजली जैसे नीले पंख को पीसने पर वह भूरे रंग की धूल में क्यों बदल जाता है, और एसीटोन की एक बूंद से उसका नीला रंग तुरंत क्यों गायब हो जाता है? पतली फिल्म व्यतिकरण, ब्रैग परावर्तक (DBR), मॉर्फो विरोधाभास और 3D फोटोनिक क्रिस्टल का गहन तरंग-प्रकाशिकी विश्लेषण।
अति-शुद्ध तरल पानी लगभग -40 °C तक बिना जमे तरल कैसे बना रह सकता है? मेटास्टेबल अवस्थाओं के सांख्यिकीय ऊष्मागतिकी, क्लासिकल न्यूक्लिएशन थ्योरी (CNT), क्रांतिक नाभिक त्रिज्या, टर्नबुल के वेटिंग गुणांक, आघात-प्रेरित डेंड्राइटिक वृद्धि, अतितापन (Superheating) और कांच संक्रमण (Vitrification) का गहन विश्लेषण।
एवरी वांग के Shazam एल्गोरिदम (Short-Time Fourier Transform STFT, गैबोर-हाइज़ेनबर्ग अनिश्चितता सिद्धांत, स्थानीय शिखरों का Constellation Map, 32-बिट कॉम्बिनेटरियल हैशिंग और समय-ऑफ़सेट हिस्टोग्राम) तथा कॉकटेल पार्टी समस्या और स्वतंत्र घटक विश्लेषण (PCA बनाम नॉन-गॉसियनिटी, कर्टोसिस, नेगएंट्रॉपी और FastICA) का गहन गणितीय विश्लेषण।
ट्राइबोलॉजी (Tribology) का गहन भौतिक और गणितीय विश्लेषण: वास्तविक संपर्क क्षेत्र (बाउडेन-टेबर और ग्रीनवुड-विलियमसन) के माध्यम से अमोंटन्स-कूलम्ब विरोधाभास का समाधान, वायलिन से लेकर भूकंप तक डाइटरिच-रुइना दर-और-अवस्था घर्षण नियम, क्लॉसियस-क्लैपेरॉन समीकरण द्वारा बर्फ के दाब-पिघलने के मिथक का खंडन, और संरचनात्मक अति-स्नेहन (Superlubricity)।
पारदर्शी बॉक्स A ($1,000) और अपारदर्शी बॉक्स B ($1,000,000 या $0) के सामने, जिन्हें 99% सटीक भविष्यवक्ता ओमेगा (Omega) ने तैयार किया है, क्या एक तर्कसंगत एजेंट को केवल एक बॉक्स (One-Boxing) लेना चाहिए या दोनों बॉक्स (Two-Boxing)? साक्ष्य निर्णय सिद्धांत (EDT), कारणात्मक निर्णय सिद्धांत (CDT), जूडिया पर्ल के do-कैलकुलस, स्मोकिंग लीजन (धूम्रपान घाव), मैक्स वेबर के केल्विनवादी पूर्वनिधारणवाद, एलरी ईल्स के टिकल डिफेंस, डेविड लुईस के जुड़वां कैदी की दुविधा समरूपता और कार्यात्मक निर्णय सिद्धांत (FDT) का गहन गणितीय और दार्शनिक विश्लेषण।
साबुन के बुलबुलों और झाग का गहन गणितीय और भौतिक विश्लेषण: पृष्ठ तनाव के ऊष्मागतिकी और यंग-लाप्लास समीकरण से लेकर न्यूनतम पृष्ठ (Minimal Surfaces), ओस्टवाल्ड परिपक्वता, फेफड़ों के सर्फेक्टेंट DPPC, पठार के नियमों (120° और 109.47°), वेयर-फेलन संरचना और स्वतः-उपचार करने वाले गिब्स-मारंगोनी प्रत्यास्थता तक।
आधुनिक फ़ॉन्ट रेंडरिंग के गणित और सिस्टम इंजीनियरिंग का गहन विश्लेषण: बर्नस्टीन आधार बहुपद, द्विघात बनाम त्रिघात बेज़ियर वक्र, डी कास्टेलजो विभाजन एल्गोरिदम, नॉन-ज़ीरो वाइंडिंग नियम और विश्लेषणात्मक समलम्ब क्षेत्रफल समाकलन, TrueType स्टैक-आधारित हिंटिंग वर्चुअल मशीन (VM), ClearType 5-टैप FIR सबपिक्सेल फ़िल्टर और गामा-सही रैखिक अल्फा ब्लेंडिंग, तथा GPU युग के MSDF और Slug शेडर्स।
1729 के छुईमुई (Mimosa pudica) प्रयोग और 2017 के नोबेल पुरस्कार विजेता प्रतिलेखन-अनुवाद फीडबैक लूप (CLOCK:BMAL1 और PER:CRY) से लेकर गुडविन-गोल्डबेटर दोलक के होप्फ द्विभाजन, परखनली में बिना DNA के चलने वाली साइनोबैक्टीरिया की KaiABC प्रोटीन घड़ी और तापमान क्षतिपूर्ति (Q10 ≈ 1.0) के जैव-भौतिक रहस्य तक का विस्तृत विश्लेषण।
कुक-लेविन प्रमेय (1971) के अनुसार, बूलियन संतुष्टि समस्या (SAT) पहली प्रमाणित NP-Complete समस्या थी जिसकी सबसे खराब समय जटिलता O(2^n) है। फिर भी आधुनिक औद्योगिक SAT सॉल्वर 1 करोड़ चरों और 5 करोड़ क्लॉज़ वाले हार्डवेयर सत्यापन सूत्रों को कुछ ही सेकंडों में हल कर देते हैं। हम DPLL से लेकर CDCL (Conflict-Driven Clause Learning), First-UIP (1-UIP), Two-Watched Literals (2WL), VSIDS, α ≈ 4.267 पर रैंडम 3-SAT के प्रावस्था संक्रमण और 200 टेराबाइट के पाइथागोरियन ट्रिपल्स प्रमाण तक का गहन विश्लेषण करते हैं।
100 कैदियों की समस्या (मिल्टरसन 2003) का गणितीय विश्लेषण: सममित समूह का असंयुक्त चक्र वियोजन, लंबे चक्रों की गणना प्रमेय 1/ℓ, हरात्मक संख्याएं, 1 - ln 2 ≈ 31.18% सीमा और बिना संचार के जोखिम युग्मन (Coupling)।
क्षमता-आधारित सुरक्षा (Capability-Based Security) पर एक गहन आर्किटेक्चरल विश्लेषण: बटलर लैम्पसन के एक्सेस कंट्रोल मैट्रिक्स का कॉलम विभाजन (ACL) बनाम पंक्ति विभाजन (Capabilities), नॉर्म हार्डी की 1988 की कन्फ्यूज्ड डिप्टी समस्या, मार्क एस. मिलर का ऑब्जेक्ट-कैपेबिलिटी (OCap) मॉडल और न्यूनतम विशेषाधिकार सिद्धांत (POLA), Facets द्वारा अधिकार न्यूनीकरण, Redell के Caretaker और Membranes द्वारा निरस्तीकरण, तथा seL4, FreeBSD Capsicum, CHERI/Morello और WASI में आधुनिक कार्यान्वयन।
एक समान रूप से मिलाया गया जलीय घोल बिना किसी बाहरी हस्तक्षेप के ईंट-लाल और चमकीले नीले रंग के बीच दर्जनों बार मेट्रोനോम की तरह धड़कता है, और पेट्री डिश में घूमती हुई सर्पिल तरंगें बनाता है। 1951 में बोरिस बेलौसोव की अस्वीकृत खोज और इल्या प्रिगोगिन की विघटनकारी संरचनाओं से लेकर FKN तंत्र, ओरेगोनेटर अवकल समीकरण, हॉप द्विभाजन, हृदय की वेंट्रिकुलर फिब्रिलेशन और स्वयं चलने वाले स्मार्ट हाइड्रोजेल तक का संपूर्ण विश्लेषण।
विश्व प्रसिद्ध खेल Dobble (Spot It!) के पीछे छिपे गणित की गहन पड़ताल: परिमित प्रक्षेपीय तल PG(2,q), फ़ानो तल (Fano Plane), गैल्वा क्षेत्रों पर समघातीय निर्देशांक, यूलर की 36 अधिकारियों की समस्या, ब्रुक-राइज़र-चावला प्रमेय, कोटि 10 के लिए Cray-1 सुपरकंप्यूटर प्रमाण और कोटि 12 का अनसुलझा रहस्य।
