Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks) (Free PDF)

 

Sets, Logic, Computation: An Open Introduction to Metalogic

Sets, Logic, Computation: An Open Introduction to Metalogic is an open textbook by Richard Zach and the Open Logic Project. It provides an introduction to metalogic—the study of the formal systems used to represent and reason about logic.

The book is designed for undergraduate students who already have some exposure to formal logic. The official project describes it as a textbook covering set theory, first-order logic, proof systems, major metatheorems, Turing machines, and undecidability.

Unlike a typical programming book, this resource focuses on the mathematical and logical foundations that sit underneath computer science, automated reasoning, programming languages, and theoretical computation.

Download the PDF for free: https://slc.openlogicproject.org/

What Is Metalogic?

Logic studies how arguments and reasoning can be represented formally.

Metalogic goes one level higher.

Instead of only asking whether an argument is valid, metalogic asks questions about the logical system itself.

For example:

• What makes a logical system consistent?

• Can every logically valid statement be formally proved?

• What happens when a logical system is given additional assumptions?

• Are there problems that no algorithm can solve?

• What are the limits of formal reasoning?

These questions connect logic directly with the foundations of computer science.

Sets as a Foundation

The book begins with naive set theory, introducing concepts such as sets, relations, functions, and the ways collections of objects can be studied formally.

Sets are fundamental because many mathematical and computational structures can be represented using them.

For computer science students, this provides a useful foundation for understanding:

• Data structures

• Relations

• Functions

• Mathematical models

• Formal systems

• Computation

The emphasis is not simply on manipulating sets but on understanding how they support later logical reasoning.

Relations and Functions

Relations describe connections between objects, while functions describe structured mappings between collections.

These concepts are important throughout mathematics and computer science.

They appear naturally in:

• Databases

• Graph theory

• Programming languages

• Automata theory

• Algorithms

• Formal verification

Understanding them in a logical setting gives students a stronger foundation for later theoretical topics.

First-Order Logic

One of the major sections of the book introduces first-order logic.

First-order logic provides a formal language for talking about objects, their properties, and relationships between them.

The book explores both the syntax and semantics of first-order logic.

Syntax

Syntax describes how well-formed logical expressions are constructed.

It is concerned with the formal structure of statements.

Semantics

Semantics deals with meaning.

It asks whether a statement is true under a particular interpretation or structure.

Understanding the distinction between syntax and semantics is essential for studying formal logic.

Proof Systems

The book introduces formal proof systems, including natural deduction and sequent calculus.

These systems provide precise rules for constructing mathematical and logical proofs.

Instead of relying only on intuition, students learn how reasoning can be represented as a sequence of formally justified steps.

This is particularly useful for students interested in:

• Automated theorem proving

• Formal verification

• Programming language theory

• Mathematical logic

• AI reasoning systems

Natural Deduction

Natural deduction attempts to represent logical reasoning in a way that resembles ordinary mathematical argumentation.

Students learn how assumptions can be introduced, manipulated, and eventually discharged through formal inference rules.

This gives learners a structured way to understand how logical conclusions are derived.

Sequent Calculus

Sequent calculus provides another formal approach to proof construction.

It organizes logical reasoning into formal inference rules and provides a different perspective from natural deduction.

Studying multiple proof systems helps students understand that the same logical reasoning can be represented in different formal frameworks.

Completeness

One of the major theoretical topics is the completeness theorem.

At a high level, completeness establishes an important relationship between semantic truth and formal provability in first-order logic.

This is a central result in mathematical logic because it tells us something fundamental about the relationship between what is logically true and what can be formally derived.

Compactness

The book also discusses the compactness theorem.

Compactness provides a powerful way of reasoning about collections of logical statements.

Roughly speaking, it connects properties of an entire collection of statements with properties of its finite subsets.

The theorem has applications throughout mathematical logic and model theory.

Löwenheim-Skolem Theorems

Another advanced topic covered in the book is the Löwenheim-Skolem theorems.

These results reveal surprising facts about the models of first-order theories.

For students, this section demonstrates an important lesson of mathematical logic:

Formal systems can have properties that are very different from what our intuitive interpretation might initially suggest.

Turing Machines

The book then connects logic with computation through Turing machines.

A Turing machine is an abstract model of computation that provides a mathematical way to describe what algorithms can do.

Although extremely simple in structure, Turing machines are powerful enough to represent general computation.

They provide a foundation for studying the limits of algorithms.

Computability

Computability theory asks an important question:

Which problems can actually be solved by an algorithm?

This is different from asking whether a problem is easy or difficult.

A problem may be extremely difficult but still computable.

Other problems may be fundamentally uncomputable, meaning no general algorithm can solve them.

This distinction is one of the most important ideas in theoretical computer science.

The Halting Problem

One of the central topics is the undecidability of the halting problem.

The halting problem asks whether it is possible to create a general algorithm that can examine any program and determine whether that program will eventually stop or continue running forever.

The theory demonstrates that no such universal algorithm exists.

This is a foundational result because it establishes a fundamental limit on computation.

Undecidability of First-Order Logic

The book also discusses the undecidability of first-order logic.

This connects two major areas:

Formal Logic + Computation

It demonstrates that there are limits not only to algorithms but also to what can be mechanically determined within logical systems.

Induction

The appendices include material on induction, including ordinary induction, strong induction, inductive definitions, and structural induction.

Structural induction is particularly relevant to computer science because many computational objects have recursive structures.

For example, recursive data structures and formal expressions can often be analyzed using similar reasoning techniques.

Connection to Computer Science

Although this is a logic textbook, its ideas are deeply connected to computer science.

Algorithms

Computability theory helps explain what algorithms can and cannot accomplish.

Programming Languages

Formal logic is used to describe programming-language syntax and semantics.

Artificial Intelligence

Logic provides foundations for automated reasoning and symbolic AI.

Formal Verification

Proof systems can be used to establish properties of software and hardware.

Theoretical Computer Science

Turing machines, computability, and undecidability are fundamental parts of theoretical CS.

Open and Free Resource

One of the strongest aspects of the book is its open-access nature.

The official Open Logic Project provides the current PDF, and the textbook is licensed under Creative Commons Attribution 4.0 International (CC BY 4.0). The project explicitly states that the current PDF can be downloaded and distributed under the license.

The project also maintains archived versions, including Fall 2025, Fall 2021, Fall 2019, and Fall 2016.

This makes it especially useful for students and instructors looking for a legitimate free textbook.

Companion Logic Tools

The book's material is also supported by Carnap, a free online logic teaching application. The text notes that Carnap can support exercises involving natural deduction, sequent calculus, logical structures, and symbolization.

This adds a practical component to what is otherwise a highly theoretical subject.

Who Should Read This Book?

Sets, Logic, Computation is particularly suitable for:

• Computer science students

• Mathematics students

• Logic students

• AI and symbolic reasoning learners

• Students studying theoretical computer science

• Programming-language researchers

• Students interested in computability

• Readers who already know basic formal logic

It is not primarily a first introduction to programming. Some background in formal logic is recommended by the authors.

Strengths

1. Strong Theoretical Foundation

The book connects sets, logic, proof systems, and computation into one coherent learning path.

2. Important CS Concepts

Turing machines and undecidability provide a strong foundation for theoretical computer science.

3. Proof-Oriented Learning

Natural deduction and sequent calculus help students develop rigorous reasoning skills.

4. Open Access

The current textbook is freely available under CC BY 4.0.

5. Exercises and Summaries

The book includes chapter summaries, problems, and a glossary, making it more suitable for structured learning.

Limitations

The main limitation is that this is not a lightweight beginner's logic book.

Readers without prior exposure to formal logic may find the transition into metalogic challenging. The official project specifically describes the intended audience as undergraduates who have already taken a first course in formal logic.

It is also much more theoretical than practical programming resources.

Hard Copy: Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks) (Free PDF)

Download the PDF for free: https://slc.openlogicproject.org/

Final Verdict

Sets, Logic, Computation: An Open Introduction to Metalogic is a valuable resource for anyone interested in the mathematical foundations of computer science.

Its progression from sets and relations → first-order logic → proof systems → completeness and compactness → Turing machines → computability and undecidability creates a strong connection between mathematical logic and theoretical computation.

For students interested in AI, algorithms, programming languages, formal verification, or theoretical computer science, the book provides a deeper understanding of the logical foundations behind these fields.

Read More

Python Coding challenge - Day 1258| What is the output of the following Python Code?

 

Code Explanation:

1. Import partial

from functools import partial

functools is a built-in Python module.

partial is a function available inside functools.

It is used to fix some arguments of an existing function and create a new function.

2. Define the calc() Function

def calc(a, b, c):

Here, we create a function named calc.

It accepts three parameters:

a

b

c

For example:

calc(2, 4, 5)

means:

a = 2

b = 4

c = 5

3. Perform the Calculation

return a * b + c

The function calculates:

a × b + c

For example:

2 × 4 + 5

= 8 + 5

= 13

4. Create a Partial Function

f = partial(calc, 2, c=5)

⭐ This is the most important line.

partial() creates a new function from calc() while fixing some arguments.

Here:

a = 2

c = 5

are fixed.

Only b needs to be supplied later.

So we can think of f as:

f(b) → calc(2, b, 5)

5. First Function Call

x = f(4)

The 4 becomes the remaining parameter b.

Therefore:

a = 2

b = 4

c = 5

Now calculate:

2 × 4 + 5

= 8 + 5

= 13

Therefore:

x = 13

6. Second Function Call

y = f(10)

Again, a and c are already fixed.

a = 2

b = 10

c = 5

Calculation:

2 × 10 + 5

= 20 + 5

= 25

Therefore:

y = 25

7. Print the Values

print(x, y)

At this point:

x = 13

y = 25

So the output is:

13 25

🔄 Internal Working

This:

f = partial(calc, 2, c=5)

can conceptually be understood as:

Original:

calc(a, b, c)

Fixed:

a = 2

c = 5

Remaining:

b

Therefore:

f(4)

   ↓

calc(2, 4, 5)

   ↓

13

and:

f(10)

   ↓

calc(2, 10, 5)

   ↓

25

📊 Execution Table

Expression a b c Result

f(4) 2 4 5 13

f(10) 2 10 5 25

🧠 Key Concept

partial() pre-fills arguments of a function.

Instead of repeatedly writing:

calc(2, 4, 5)

calc(2, 10, 5)

we fix the common arguments once:

f = partial(calc, 2, c=5)

and then provide only the changing argument:

f(4)

f(10)

🎯 Final Output

13 25

400 Days Python Coding Challenges with Explanation

Read More

Machine learning Projects (Free PDF)

 

Machine Learning Projects is a free practical resource focused on learning machine learning by building projects with Python. Rather than spending all your time studying concepts separately, the book takes a project-based approach that helps you understand how machine learning techniques are applied to real problems.

Download the PDF for free:

 Machine learning Projects

What Is This Book About?

Learning machine learning becomes much easier when theory is connected with implementation.

This resource focuses on that connection:

Python → Data → Machine Learning → Model → Prediction

You get the opportunity to work through practical machine learning workflows and understand how different techniques can be used to solve problems.

Why Project-Based Learning Matters

Machine learning involves much more than simply training a model.

A typical project requires you to:

• Understand the problem
• Collect or prepare data
• Explore the dataset
• Clean the data
• Select useful features
• Train a model
• Evaluate the results
• Improve the approach
• Make predictions

Working through complete projects helps you understand this entire workflow.

Python for Machine Learning

Python is one of the most widely used languages for data science and machine learning.

The projects provide an opportunity to practice Python while working with machine learning concepts.

This is useful because you learn programming and machine learning together rather than treating them as completely separate subjects.

Data Preparation

One of the most important parts of a machine learning project is data preparation.

Real-world data can contain:

• Missing values
• Incorrect formats
• Duplicate records
• Irrelevant features
• Unexpected values
• Different data types

Before building a model, the dataset needs to be prepared properly.

This teaches an important lesson:

Good machine learning starts with good data.

Exploratory Data Analysis

Exploratory Data Analysis, or EDA, helps you understand what is actually present in a dataset.

During EDA, you can investigate:

• Data distributions
• Relationships between variables
• Outliers
• Important features
• Patterns and trends

Python libraries such as Pandas and Matplotlib make this process easier.

Building Machine Learning Models

Once the data is prepared, machine learning algorithms can be applied.

Depending on the project, different approaches can be explored for tasks such as:

• Classification
• Regression
• Prediction
• Pattern recognition

This gives learners practical experience with the model-building process instead of learning algorithms only from theoretical examples.

Model Evaluation

Training a model is only one part of machine learning.

You also need to determine how well the model performs.

Evaluation helps answer questions such as:

• Is the model making useful predictions?
• Is it overfitting?
• Does it work on unseen data?
• Can its performance be improved?

Understanding evaluation is essential for building reliable machine learning applications.

The Complete Machine Learning Workflow

One of the biggest benefits of project-based learning is seeing the entire workflow together:

1. Problem Definition

Understand what needs to be predicted or analyzed.

2. Data Collection

Obtain the data required for the project.

3. Data Cleaning

Handle missing, inconsistent, or unnecessary information.

4. Data Exploration

Look for patterns and relationships.

5. Feature Preparation

Prepare the variables that will be used by the model.

6. Model Training

Apply an appropriate machine learning algorithm.

7. Evaluation

Measure how well the model performs.

8. Improvement

Experiment with preprocessing, features, and model settings.

9. Prediction

Use the trained model to make predictions on new data.

This workflow is highly transferable to other machine learning projects.

Why This Resource Is Useful for Beginners

A common problem for beginners is knowing individual Python libraries but not knowing how to combine them into a complete project.

For example, you might know Pandas separately, NumPy separately, and scikit-learn separately—but still struggle to build an end-to-end machine learning application.

Project-based resources help bridge that gap.

You begin to see how different tools work together:

Python + NumPy + Pandas + Visualization + Machine Learning

From Learning to Portfolio Projects

Another advantage of completing machine learning projects is that they can become the foundation of a data science portfolio.

A good project can demonstrate that you understand more than just syntax.

It can show your ability to:

• Work with datasets
• Perform data analysis
• Build models
• Evaluate predictions
• Explain results
• Organize a complete workflow

This is particularly useful for students preparing for internships, interviews, or entry-level data science roles.

What You Can Learn from the Projects

By working through practical projects, you can strengthen skills in:

• Python programming
• Data preprocessing
• Exploratory data analysis
• Machine learning
• Model evaluation
• Data visualization
• Problem solving
• End-to-end project development

These skills form an important foundation for more advanced areas such as deep learning and artificial intelligence.

Who Should Read It?

This resource is suitable for:

• Python beginners interested in ML
• Data science students
• Machine learning beginners
• Python developers moving into AI
• Students building their first ML portfolio
• Learners preparing for ML projects and interviews

It is especially useful if you have already learned some Python basics and now want to start building practical machine learning projects.

Download the PDF for free:

 Machine learning Projects

Final Thoughts

Machine Learning Projects takes a practical approach to learning machine learning with Python.

Instead of focusing only on isolated algorithms, project-based learning helps you understand how data preparation, analysis, model training, and evaluation fit together in a real workflow.

For someone learning Python and moving toward Data Science → Machine Learning → AI, this type of resource can be a useful stepping stone from theory to practical implementation.

Read More

Mathematical Introduction to Deep Learning: Methods, Implementations, and Theory (Free PDF)

 

Deep learning is often taught through libraries, architectures, and ready-to-use models. But behind every neural network are mathematical ideas involving approximation, optimization, probability, analysis, and numerical methods.

Mathematical Introduction to Deep Learning: Methods, Implementations, and Theory by Arnulf Jentzen, Benno Kuckuck, and Philippe von Wurstemberger takes a deeper approach. The book combines mathematical theory with implementations and practical code, making it useful for readers who want to understand not only how deep learning works, but also the mathematical reasoning behind its algorithms.

The work was first submitted to arXiv in 2023 and the current arXiv version is v3, revised July 15, 2025. The current version contains 737 pages, 33 figures, 45 source codes, and 87 exercises.

Download the PDF for free: https://arxiv.org/pdf/2310.20360

What Is This Book About?

The main goal of the book is to provide a mathematical introduction to deep learning algorithms.

It covers three important dimensions:

• Methods — different neural network architectures and learning algorithms

• Implementations — practical Python source code

• Theory — mathematical analysis of approximation, optimization, and generalization

The authors explicitly state that the resource is intended both for students and scientists who are new to deep learning and for practitioners who want a stronger mathematical understanding of the methods they already use.

Artificial Neural Networks

The book begins with the fundamental building blocks of artificial neural networks.

Readers study how neural networks represent functions and how different components work together to transform input information into predictions.

The discussion includes several important architectures:

• Fully connected feedforward networks

• Convolutional neural networks

• Recurrent neural networks

• Residual neural networks

• Networks using batch normalization

Rather than treating these architectures as black-box components from a library, the book examines their mathematical structure in detail.

Activation Functions

Activation functions play an important role in neural networks because they allow networks to represent complex relationships.

The book examines activation functions from a mathematical perspective and connects them to the ability of neural networks to approximate functions.

This is an important difference from introductory deep learning tutorials, where activation functions are often introduced mainly as practical choices.

Here, the reader is encouraged to understand why these functions matter mathematically.

Neural Network Calculus

One particularly interesting aspect of the book is its treatment of calculus for neural networks.

The authors investigate how mathematical analysis can be applied to neural-network architectures and their components.

This provides a foundation for understanding:

• Differentiation

• Gradients

• Optimization

• Backpropagation

• Sensitivity of models

• Training behavior

The goal is to connect familiar deep learning operations with the mathematical principles underneath them.

Approximation Theory

A major theoretical theme is approximation.

Neural networks are powerful because they can approximate complicated relationships between inputs and outputs.

The book studies the approximation capabilities of neural networks in mathematical detail. It asks questions such as:

What kinds of functions can neural networks represent?

How accurately can they approximate complicated functions?

How does network architecture affect approximation?

These questions are fundamental to understanding why neural networks can be so expressive.

Optimization and Training

Training a deep learning model is essentially an optimization problem.

The book therefore spends substantial attention on optimization methods used to train neural networks.

Topics include:

• Gradient-based optimization

• Stochastic gradient descent

• Accelerated optimization methods

• Adaptive optimization methods

• Optimization theory

• Convergence-related questions

The current version specifically notes that Chapters 5, 6, and 7 in the optimization section were expanded in version 3.

This makes the optimization section particularly valuable for readers who want to understand what happens during neural-network training rather than simply calling an optimizer from a framework.

Stochastic Gradient Descent

Stochastic gradient descent is one of the fundamental optimization methods in deep learning.

The book examines it from both an algorithmic and mathematical perspective.

Instead of simply saying that an optimizer "updates the weights," the theoretical treatment explores why these updates can lead toward useful solutions and what mathematical properties influence the optimization process.

This is especially helpful for advanced learners who want to move from using optimization algorithms to understanding them.

Adaptive and Accelerated Methods

The book also discusses optimization methods that attempt to improve the training process.

These approaches can modify how optimization progresses based on information obtained during training.

Studying these methods mathematically helps readers understand why different optimization strategies can behave differently when training neural networks.

Generalization

Another central topic is generalization.

A neural network can perform extremely well on training data while behaving differently on previously unseen data.

The book investigates the mathematical theory behind generalization errors.

This connects deep learning with broader ideas from statistical learning and probability.

Understanding generalization is important because successful machine learning is not simply about memorizing training examples. A useful model needs to capture patterns that transfer to new data.

Optimization Theory

The book goes deeper into optimization theory than most practical deep learning tutorials.

One of the advanced topics mentioned by the authors is the Kurdyka–Łojasiewicz inequality, which is used in mathematical analysis related to optimization.

This makes the resource particularly interesting for readers with backgrounds in mathematics, applied mathematics, or theoretical machine learning.

Deep Learning and Partial Differential Equations

The final part of the book moves beyond conventional machine learning applications and connects deep learning with partial differential equations (PDEs).

This is an important bridge between deep learning and scientific computing.

The book reviews deep learning approximation methods for PDEs, including:

• Physics-Informed Neural Networks

• Deep Galerkin methods

These approaches demonstrate how neural networks can be used to approximate solutions to scientific and mathematical problems.

Physics-Informed Neural Networks

Physics-Informed Neural Networks, commonly called PINNs, combine neural networks with information derived from physical or mathematical constraints.

Instead of learning only from conventional datasets, the model can incorporate knowledge about the underlying system.

This makes PINNs interesting for areas such as:

• Computational physics

• Engineering

• Scientific computing

• Differential equations

• Simulation

The inclusion of PINNs gives the book a useful connection between theoretical deep learning and scientific machine learning.

Deep Galerkin Methods

The book also discusses Deep Galerkin methods, another approach for using neural networks to approximate solutions to differential-equation problems.

This demonstrates the broader role that neural networks can play beyond conventional classification and regression tasks.

Deep learning becomes a computational tool for mathematical modeling rather than only a predictive technique.

Practical Implementations

Despite its mathematical focus, the book is not purely theoretical.

The current arXiv version lists 45 source codes, and a companion GitHub repository contains the Python code associated with the book.

This combination of theory and implementation is one of the strongest aspects of the resource.

Readers can study a concept mathematically and then examine how the corresponding idea can be implemented computationally.

Python and Coding

The companion repository describes itself as containing all of the Python code from the book.

For Python and deep learning learners, this provides a useful bridge:

Mathematical concept → Algorithm → Python implementation

That structure can help readers connect theoretical knowledge with practical programming.

Exercises

The current version contains 87 exercises, providing opportunities to work through the concepts rather than simply reading them.

For a mathematical subject like deep learning theory, exercises are particularly important because many concepts become clearer only after the reader attempts to apply them independently.

Why This Book Matters for AI and Deep Learning

Modern deep learning is often approached through frameworks such as PyTorch and TensorFlow.

These tools make it possible to build powerful models without requiring users to understand every mathematical detail.

However, this can also create a gap between using a model and understanding the model.

This book attempts to reduce that gap.

It connects:

Mathematics → Deep Learning Algorithms → Implementation → Theory

That makes it particularly valuable for readers who want to progress from simply building neural networks toward understanding the foundations behind them.

Who Should Read This Book?

This book is suitable for:

• Deep learning students

• Mathematics students

• Applied mathematics students

• Machine learning researchers

• AI researchers

• Data scientists wanting stronger mathematical foundations

• Python developers interested in deep learning theory

• Students interested in scientific machine learning

Beginners can use it as a foundation, but readers should expect a significantly more mathematical treatment than a typical practical deep learning tutorial.

Strengths

1. Strong Mathematical Foundation

The book explains deep learning through mathematical analysis rather than treating neural networks as black boxes.

2. Theory + Implementation

The combination of theoretical discussion and Python source code makes the material more practical.

3. Wide Coverage

It covers neural-network architectures, optimization, approximation theory, generalization, and PDE applications.

4. Useful for Advanced Learners

Readers interested in theoretical machine learning can use it to explore topics that are often skipped in application-focused courses.

5. Openly Available

The work is available as an arXiv preprint, making the current version freely accessible online.

Limitations

The biggest limitation is also one of its strengths: the mathematical depth.

Someone looking for a quick introduction to building neural networks with PyTorch may find the material considerably more theoretical than expected.

It is better suited to readers who are willing to spend time understanding mathematical reasoning, optimization, approximation, and analysis.

It should therefore be viewed less as a quick-start deep learning cookbook and more as a deep mathematical foundation for deep learning.

Download the PDF for free: https://arxiv.org/pdf/2310.20360

Final Verdict

Mathematical Introduction to Deep Learning: Methods, Implementations, and Theory provides a detailed bridge between mathematics and modern deep learning.

Instead of focusing only on how to train models, it explores the mathematical structures behind neural networks, their approximation capabilities, optimization algorithms, generalization, and scientific applications.

Read More

⚡ Python Turtle: The Cosmic Vortex

 

Code:

import turtle import math import time screen = turtle.Screen() screen.setup(800, 800) screen.bgcolor("#020208") t = turtle.Turtle() t.hideturtle() t.speed(0) colors = [ "#00f5ff", "#2979ff", "#7c4dff", "#d500f9", "#ff2d75", "#ff6d00", "#ffe600" ] def draw_ring(radius, rotation, color): """Draw one rotating polygon ring.""" points = 10 t.color(color) t.width(2) for i in range(points + 1): angle = rotation + i * (360 / points) x = radius * math.cos(math.radians(angle)) y = radius * math.sin(math.radians(angle)) if i == 0: t.penup() t.goto(x, y) t.pendown() else: t.goto(x, y) screen.update() time.sleep(0.004) # -------------------------------- # Outer → Inner tunnel # -------------------------------- for i in range(55): radius = 270 - i * 4.6 rotation = i * 6 draw_ring( radius, rotation, colors[i % len(colors)] ) time.sleep(0.025) # -------------------------------- # Inner spiral # -------------------------------- t.width(3) t.penup() t.goto(0, 0) t.pendown() for i in range(220): radius = i * 0.65 angle = i * 13 x = radius * math.cos(math.radians(angle)) y = radius * math.sin(math.radians(angle)) t.color(colors[i % len(colors)]) t.goto(x, y) screen.update() time.sleep(0.006) # -------------------------------- # Glowing center # -------------------------------- for r in range(30, 2, -3): t.penup() t.goto(0, -r) t.dot(r, colors[r % len(colors)]) screen.update() time.sleep(0.04) t.penup() t.goto(0, -5) t.dot(8, "white") screen.update() turtle.done()

Explanation:

1. Import Libraries

import turtle

import math

import time

turtle → Used for drawing.

math → Used for trigonometric calculations.

time → Used to control animation speed.

2. Create the Screen

screen = turtle.Screen()

screen.setup(800, 800)

screen.bgcolor("#020208")

Creates the Turtle window.

Sets the size to 800 × 800.

Gives the screen a dark background.

3. Create the Turtle

t = turtle.Turtle()

t.hideturtle()

t.speed(0)

Creates the drawing turtle.

Hides the turtle cursor.

Sets the fastest drawing speed.

4. Define Neon Colors

colors = [

    "#00f5ff",

    "#2979ff",

    "#7c4dff",

    "#d500f9",

    "#ff2d75",

    "#ff6d00",

    "#ffe600"

]

Stores multiple neon colors.

These colors are reused throughout the animation.

5. Create the Ring Function

def draw_ring(radius, rotation, color):

Defines a function for drawing one polygon ring.

radius controls size.

rotation controls angle.

color controls the ring color.

6. Set Ring Properties

points = 10

t.color(color)

t.width(2)

Each ring has 10 points.

Sets the drawing color.

Sets line thickness to 2.

7. Loop Through Points

for i in range(points + 1):

Loops through all polygon points.

+1 closes the polygon.

8. Calculate the Angle

angle = rotation + i * (360 / points)

Divides the circle into equal sections.

Adds rotation to make each ring turn.

9. Calculate X Position

x = radius * math.cos(math.radians(angle))

Converts the angle to radians.

Calculates the X coordinate.

10. Calculate Y Position

y = radius * math.sin(math.radians(angle))

Calculates the Y coordinate using sine.

11. Move to the First Point

if i == 0:

    t.penup()

    t.goto(x, y)

    t.pendown()

Moves to the first point without drawing.

Then puts the pen down to start drawing.

12. Connect the Points

else:

    t.goto(x, y)

Moves between points.

Creates the polygon ring.

13. Create Animation

screen.update()

time.sleep(0.004)

Updates the screen.

Adds a tiny delay for smooth animation.

14. Create the Outer Tunnel

for i in range(55):

Creates 55 rings.

radius = 270 - i * 4.6

Gradually decreases the ring size.

Creates the tunnel effect.

rotation = i * 6

Rotates every new ring.

draw_ring(radius, rotation, colors[i % len(colors)])

Draws each ring.

Cycles through the neon colors.

15. Create the Inner Spiral

t.width(3)

Makes the spiral line thicker.

t.penup()

t.goto(0, 0)

t.pendown()

Starts the spiral from the center.

for i in range(220):

Generates 220 spiral points.

radius = i * 0.65

angle = i * 13

Radius gradually increases.

Angle continuously rotates.

x = radius * math.cos(math.radians(angle))

y = radius * math.sin(math.radians(angle))

Calculates each spiral point.

t.color(colors[i % len(colors)])

t.goto(x, y)

Changes the color.

Draws the spiral.

16. Create the Glowing Center

for r in range(30, 2, -3):

Creates several circles.

Each circle becomes smaller.

t.penup()

t.goto(0, -r)

Positions the turtle for the glow.

t.dot(r, colors[r % len(colors)])

Draws colored dots.

Creates the glowing-center effect.

17. Add the White Core

t.penup()

t.goto(0, -5)

t.dot(8, "white")

Adds a small white dot.

Creates the bright center.

18. Finish the Animation

screen.update()

turtle.done()

Updates the final frame.

Keeps the Turtle window open.

Read More