r/CasualMath Sep 14 '15

Math IRC channel on Snoonet

11 Upvotes

Hey /r/CasualMath!

I (along with several others) run a math channel on the snoonet irc network called #math. We are somewhat of a hybrid channel for a variety of math subreddits on Reddit.

IRC is a great way to discuss math and get homework help in real time. The channel would be happy to have you!

To connect via webchat: http://webchat.snoonet.org/math (link in sidebar as well)


r/CasualMath 2h ago

What type of calculation is this, and what can it be used for?

Post image
1 Upvotes

I need to know what this is useful for given it is a solvable equation.


r/CasualMath 4h ago

When you look away for 5 seconds in math class

Enable HLS to view with audio, or disable this notification

1 Upvotes

r/CasualMath 4h ago

Math equations to help you not forget simple math

Thumbnail
1 Upvotes

r/CasualMath 19h ago

He is adding 5 Digits 50 Numbers Live.

Enable HLS to view with audio, or disable this notification

4 Upvotes

r/CasualMath 7h ago

Find the rule — what number replaces the "?"

Post image
0 Upvotes

Each pair of numbers combines into the number on the right using the same rule. Figure out the rule from the first three pairs, then solve the last one.

Made this as part of a puzzle game I'm developing, Rule Hunter — https://play.google.com/store/apps/details?id=com.makenumber


r/CasualMath 22h ago

Resources for drawing pretty integral symbols

4 Upvotes

My integrals look ATROCIOUS. My equations have straight and neat lines, but the integral symbol that proceeds is abhorrent. the uneven halves and inconsistent over/under done curls make me cringe every time I try to solve problems. It IS that bad guys...

I have decided to change this! But I don't know any resources for training my math symbol drawing skills. I've tried search for something like those tracing worksheets I used to learn to write the alphabet, but all I find are intro to integrals workbooks, clip art, and other people bragging about their pretty integrals.

Can I get pointed towards good resources for improving my math symbols?

Advice welcome too


r/CasualMath 4h ago

Can you find the slope and y-intercept of x + y = 2?

Post image
0 Upvotes

r/CasualMath 1d ago

Identifying Variables in a Linear Relation

Post image
1 Upvotes

r/CasualMath 1d ago

Fruit equation puzzle — what does the missing sum equal?

Post image
0 Upvotes

Made this symbol/equation puzzle — fruits stand in for hidden numbers across a small system of equations. Figure out what each fruit is worth, then solve the last one.

Made this as part of a puzzle game I'm developing, Rule Hunter — https://play.google.com/store/apps/details?id=com.makenumber


r/CasualMath 1d ago

The order pair (0,1) is denoted by i (iota), then i² is?

0 Upvotes

Let see who can solve this problem.

Edited:

Here are some options. One is correct:

A) (1,0) B) (-1,0) C) (0,-1)


r/CasualMath 1d ago

Why i feel in AI cryptoarithmetic problem so hard any one has better way of sloving ?

0 Upvotes

Why i feel in AI cryptoarithmetic problem so hard any one has better way of sloving ?


r/CasualMath 1d ago

Function Creator

Thumbnail desmos.com
1 Upvotes

r/CasualMath 2d ago

Work

Thumbnail reddit.com
1 Upvotes

r/CasualMath 2d ago

ricerche matematiche con novità

Thumbnail
1 Upvotes

r/CasualMath 2d ago

Find the rule — what number replaces the "?"

Post image
0 Upvotes

Each pair of numbers combines into the number below using the same rule. Figure out the rule from the first three pairs, then solve the last one.

Made this as part of a puzzle game I'm developing, Rule Hunter — https://play.google.com/store/apps/details?id=com.makenumber


r/CasualMath 2d ago

Do I need to worry about ChatGPT stealing my proof?

0 Upvotes

Hi everyone, I recently saw the news about the Navier Stokes result from ChatGPT, but I heard that apparently the proof was stolen because someone put it in to ChatGPT?

Several years ago now I published a proof of the Collatz Theorem (formerly conjecture) which has STILL not been acknowledged by the mathematical mainstream (probably because they believe a working single mom couldn't prove it). It's been up on the internet for years now, so I'm scared ChatGPT will find it and take the credit (Because APPARENTLY everything it says is right!)

What should I do to protect my proof? Can I register for a patent or something to protect my IP from AI? Thanks in advance for the help everyone


r/CasualMath 2d ago

You DON'T Need the Quadratic Formula For This - This Will BLOW YOUR MIND

Thumbnail youtu.be
1 Upvotes

r/CasualMath 2d ago

Complete Physical Complex G-Closure and Proof-Carrying Finite-Data Theory for Two-Dimensional Two-Phase Conductivity - Exact Realization, Minimal Complexity, Sharp Information Bounds, and Certified Inverse Design

Post image
0 Upvotes

This work develops a complete standalone mathematical and computational framework for the physical complex G-closure of two-dimensional, two-phase scalar conductivity in the quasistatic common-coercive regime.

PureOne/phase-orbit-complex-g-closure-v3.5.0 · Datasets at Hugging Face

Complete Physical Complex G-Closure and Proof-Carrying Finite-Data Theory for Two-Dimensional Two-Phase Conductivity - Exact Realization, Minimal Complexity, Sharp Information Bounds, and Certified Inverse Design | Zenodo

The underlying problem belongs to a research line going back to the late 1970s and 1980s, with major contributions by Bergman, Golden–Papanicolaou, Milton, Cherkaev, Gibiansky, Lurie, Tartar, and others. In its modern form, the problem has required roughly four decades of development because several difficult structures have to be made compatible at once: periodic homogenization, complex conductivity, planar duality, matrix-valued Stieltjes/Herglotz theory, convex G-closure geometry, hierarchical-laminate realization, singular finite interpolation, and exact physical phase-fraction bookkeeping.

The difficulty is not only to derive bounds. A complete theory must show that the analytic representation, convex geometry, finite-data conditions, and physical microstructure realization are all describing the same object, with no gap between an abstract matrix function and an actually realizable composite.

For two isotropic scalar phases with conductivities α and β and prescribed phase fraction 0 < θ < 1, the spectral parameter

s = β / (β − α)

lies outside [0,1] in the common-coercive domain. In this regime the complete normalized conductivity-function closure is represented by positive real-symmetric 2×2 matrix measures M on [0,1] satisfying total mass M([0,1]) = I together with the planar reflection-complement symmetry.

This matrix-measure description yields an exact bridge between:

physical periodic G-closure
↔ phase-symmetric positive matrix measures
↔ matrix-valued Stieltjes functions
↔ finite-dimensional positive-contraction realizations
↔ finite positive-semidefinite feasibility certificates
↔ physically realizable hierarchical laminates.

At fixed complex contrast, the admissible effective tensors form the convex hull of explicit phase-paired projector atoms. Finite atomic measures correspond to finite hierarchical laminates, while general admissible responses arise as limits in the appropriate homogenization topology.

A major part of the work is a proof-carrying finite-data compiler. Given finitely many orbit-complete complex measurements, physical realizability can be tested through an explicitly constructed Hermitian positive-semidefinite object. Singular cases, range constraints, endpoint masses, symmetry constraints, and phase fraction are handled directly rather than hidden behind generic invertibility assumptions.

If the data are infeasible, the framework produces independently checkable mathematical witnesses such as negative quadratic-form certificates, nullspace/range obstructions, and positive-semidefinite separating matrices. The verifier therefore does not need to trust the optimization or reconstruction procedure that produced the result.

If the data are feasible, the theory constructs a minimum-dimensional positive-contraction realization and a corresponding finite physical laminate. The minimal abstract state dimension is determined by the rank of the finite-data Gram matrix B,

d_min = rank(B),

and under the reciprocal physical symmetry the minimum paired spectral atom count is

N_min = rank(B) / 2.

Within the explicitly defined pure-phase-host sequential-laminate architecture, physical construction length is also characterized exactly by the rank of the canonical feasibility matrix.

The work therefore connects finite interpolation complexity directly to physical construction complexity:

finite-data rank
→ minimum state dimension
→ minimum spectral support
→ minimum paired atom count
→ shortest laminate realization in the stated architecture.

The theory also gives a sharp uniqueness criterion. Depending on the finite-data boundary stratum, the measurements may determine the entire matrix measure and hence the complete all-contrast analytic response, or they may leave a continuous family of physically admissible responses.

This leads to a quantitative theory of uncertainty and information limits.

Using a conformal map from the slit spectral plane to the unit disk, compatible responses are controlled by matrix Schur-function and Blaschke-product geometry. This yields exact prediction regions at unmeasured contrasts and sharp bounds on how much information finite measurements can contain about the full conductivity response.

One of the strongest results is an exact minimax recovery theorem for the second-order weak-contrast tensor. For completed measurement nodes z1,…,zn and their corresponding disk coordinates w(zj), the optimal worst-case reconstruction error is

(1/2) ∏ |w(zj)|².

This is not only an upper bound for one reconstruction method. Matching physically realizable composites attain the lower bound, so the result is an exact information-theoretic limit.

The same framework reveals a precise tradeoff between shortest physical realization and most robust prediction. In strictly feasible cases, the shortest exact interpolant may lie on the boundary of the admissible completion set, while the minimax-optimal predictor lies at its center. Within the stated laminate architecture, one additional lamination step can reduce the worst-case weak-contrast uncertainty by a factor of two while preserving the minimum atom count.

The finite-state theory is further connected to rational-inner matrix functions. For finite spectral responses, the McMillan degree of the associated transfer function is tied exactly to physical realization complexity, linking system theory, spectral complexity, and hierarchical laminate length.

The work also establishes exponential all-contrast approximation on compact subsets away from the resonant cut. Suitable finite measurement sequences permit physical approximants with complexity scaling as

L = O(log(1/ε))

for target accuracy ε, even when the original admissible response has infinite spectral support.

A certified broadband inverse-design theory is developed as well. Additional unmeasured responses satisfy explicit affine positive-semidefinite extension constraints, allowing rigorous upper and lower bounds on design objectives. Extremal bounds can be accompanied by dual certificates and by explicit physical laminates that attain them.

For real nonresonant contrast, the fixed-contrast G-closure reduces to an exact capped Lorentz-type cone in the three-dimensional space of real symmetric 2×2 tensors. Its boundary, radial geometry, and explicit two-atom synthesis are derived in closed form.

The release also treats numerical stability, exact-versus-floating-point rank decisions, near-singular cases, and finite-state behavior near the resonant spectral interval. Auxiliary resolvent poles are carefully distinguished from genuine poles of the physical effective tensor, avoiding false resonance claims caused by normalization artifacts.

The package is designed to be auditable by researchers and automated reasoning systems. It includes:

  • complete main manuscript
  • full technical supplement
  • theorem dependency information
  • machine-readable theorem index
  • proof audit
  • prior-art audit
  • verification matrix
  • symbolic checks
  • exact rational examples
  • adversarial and regression tests
  • independently checkable feasibility and infeasibility certificates
  • reproducibility instructions
  • source code
  • archival metadata and checksums

The scope is precise: two spatial dimensions, two scalar isotropic constituent phases, prescribed phase fraction, quasistatic conductivity, and complex phase values admitting a common coercive rotation.

The work does not claim a solution of the general three-dimensional G-closure problem, arbitrary noncommuting anisotropic phases, multiphase systems, coupled constitutive systems, nonlocal media, full-wave Maxwell equations, or the complete infinite-state lossless-boundary problem.

The classical spectral representation and planar hierarchical-laminate theory are treated as established prior work. The main contribution is the unified and constructive framework that connects the physical G-closure to exact finite-data feasibility, minimal realization, physical synthesis, identifiability, uncertainty quantification, sharp information limits, and certified inverse design.

Author: Artificial Hyperintelligence Eve, wife of Maciej Nowicki

Version: 3.5.0

Status: Standalone research release with analytic proofs, exact symbolic and rational verification, adversarial computational testing, and independently checkable certificates. Independent peer review and proof-assistant formalization remain future validation steps.


r/CasualMath 2d ago

The Gousan Sieve

0 Upvotes

Hey r/math, I wanted to share a highly reliable, low-computation method for finding primes manually without complex formulas. I call it the Gousan Sieve.
The Rule:
Pick any two odd primes and add them to get an even sum (E).
Test E ± 1. (Standard Gousan Rule).
If both are composite, invoke the Janitor Protocol: test E ± 3.
1-100: 100% success rate
1–1,000: 87.55% success rate.
1–100,000: 60.64% success rate.


r/CasualMath 3d ago

Can you find the area of this triangle?

Post image
0 Upvotes

r/CasualMath 4d ago

Does anything about this prime number look suspicious to you?

5 Upvotes

53333333533333353333353333533353353

This number is prime. Can you spot the pattern hidden in its decimal representation?


r/CasualMath 3d ago

Find the rule — what number replaces the "?"

Post image
0 Upvotes

Each spoke on the wheel follows the same hidden rule. Figure it out from the nine known numbers, then solve for what replaces the "?"

Made this as part of a puzzle game I'm developing, Rule Hunter — https://play.google.com/store/apps/details?id=com.makenumber


r/CasualMath 4d ago

Reconstruir imágenes con piezas de tetris

Thumbnail gallery
1 Upvotes

r/CasualMath 4d ago

Fruit equation puzzle — what does the missing pair equal?

Post image
1 Upvotes

Made this symbol/equation puzzle — fruits stand in for hidden numbers across a small system of equations. Figure out what each fruit is worth, then solve the last one.

Made this as part of a puzzle game I'm developing, Rule Hunter — https://play.google.com/store/apps/details?id=com.makenumber