Encyclopedia/All topics/Materials

Materials

Articles 181–196 of 196. Alphabetical by title.

• Materials Thermal Conductivity3 From Jcost

  A machine-checked library proves only three general facts about a cost ratio, not the thermal physics its name suggests.

• Materials Thermal Exp Coeff Metals

  A machine-checked library proves three basic facts about a cost function applied to thermal expansion, but the connection to real metals remains a research note, not a theorem.

• Materials Thermal Expansion From Phi Ladder

  The thermal expansion coefficient measures how much a material stretches when heated, and one framework ties it to a single number derived from the golden ratio.

• Materials Thermal Expansion Rs

  Thermal expansion makes solids grow when heated; Recognition Science asks what this costs, and its module proves only the general properties of that cost.

• Materials Thermal Shock3 From Jcost

  A material's ability to survive sudden temperature change is a classic engineering problem; this page explains its classical formula and what a machine-checked framework does

• Materials Thermocouple Emffrom Jcost

  A thermocouple's voltage per degree may trace to the same forced cost function that shapes other recognition-science constants.

• Materials Thermoelectric Figure Merit

  Thermoelectric efficiency is set by a ratio of transport properties; a framework for recognition costs offers a structural bound on that ratio.

• Materials Thermoelectric Zt3 From Jcost

  A thermoelectric material's efficiency has a single number that measures it; this page explains what that number is and what a formal module about it does and does not prove.

• Materials Topological Insulator3 From Jcost

  A machine-checked file named for topological insulators proves only general facts about a cost function, and its own documentation says so.

• Materials Trained Neural Network From Jcost

  A machine-checked library proves a general cost function is nonnegative and zero only at its balance point, but the specific neural-network claim remains a research note, not a the

• Materials Wettability Angle2

  A contact angle measures how a droplet sits on a surface; Recognition Science models that angle through a forced cost function.

• Materials Wetting Contact Angle From Jcost

  A single cost function, forced by five plain conditions, produces a canonical angle for hydrophobic surfaces: about 112.5 degrees.

• Materials Work Hardening From Jcost

  Work hardening is the reason metals get stronger as you bend them; here is what a Recognition Science module actually proves about it, and what it does not.

• Materials Yield Strength From Phi Ladder

  A proposed link between the golden ratio and metal strength, and what a machine-checked library actually proves about it.

• Materials Yield Stress3 From Jcost

  A machine-checked library proves three general facts about a cost function, but the module itself proves nothing about yield stress until its variables are defined.

• Materials Young Modulus Steel Rs

  Steel's stiffness, about 200 gigapascals, sits near a power of the golden ratio in one framework's units, but the formal proof stops short of that claim.