##
9 posts tagged with math *and* code.

Displaying 1 through 9 of 9. Subscribe:

## HoTT Coq

Univalent Foundations Redefines Mathematics - "When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to rewrite the century-old rules underlying all of mathematics." (previously) [more inside]

## I Can Tell By The Pixels

Visualizing Algorithms shows you how computer algorithms can be represented visually, leading to better understanding of how the algorithms work:

"Have you ever implemented an algorithm based on formal description? It can be hard! Being able to see what your code is doing can boost productivity. Visualization does not supplant the need for tests, but tests are useful primarily for detecting failure and not explaining it. Visualization can also discover unexpected behavior in your implementation, even when the output looks correct."

"Have you ever implemented an algorithm based on formal description? It can be hard! Being able to see what your code is doing can boost productivity. Visualization does not supplant the need for tests, but tests are useful primarily for detecting failure and not explaining it. Visualization can also discover unexpected behavior in your implementation, even when the output looks correct."

## Eigendemocracy: crowd-sourced deliberative democracy

Scott Aaronson on building a 'PageRank' for (eigen)morality and (eigen)trust - "Now, would those with axes to grind try to subvert such a system the instant it went online? Certainly. For example, I assume that millions of people would rate Conservapedia as a more trustworthy source than Wikipedia—and would rate other people who had done so as, themselves, trustworthy sources, while rating as untrustworthy anyone who called Conservapedia untrustworthy. So there would arise a parallel world of trust and consensus and 'expertise', mutually-reinforcing yet nearly disjoint from the world of the real. But here's the thing:

*anyone would be able to see, with the click of a mouse, the extent to which this parallel world had diverged from the real one*." [more inside]## A SAT Attack on the Erdos Discrepancy Conjecture

Computers are providing solutions to math problems that we can't check - "A computer has solved the longstanding Erdős discrepancy problem! Trouble is, we have no idea what it's talking about — because the solution, which is as long as all of Wikipedia's pages combined, is far too voluminous for us puny humans to confirm." (via; previously ;)

## Computerized Math, Formal Proofs and Alternative Logic

Using computer systems for doing mathematical proofs - "With the proliferation of computer-assisted proofs that are all but impossible to check by hand, Hales thinks computers must become the judge." [more inside]

## Finite formula found for partition numbers

New math theories reveal the nature of numbers [1,2] - "We prove that partition numbers are 'fractal' for every prime. These numbers, in a way we make precise, are self-similar in a shocking way. Our 'zooming' procedure resolves several open conjectures, and it will change how mathematicians study partitions." (/.|via) [more inside]

## Wheel me out

MATSYS Based on the idea that architecture can be understood as a material body with its own intrinsic and extrinsic forces relating to form, growth, and behavior, the studio investigates methodologies of performative integration through geometric and material differentiation.

B_Complex, N_Table, Endless Ocean, Endless Sky (more), P_Wall. more.

B_Complex, N_Table, Endless Ocean, Endless Sky (more), P_Wall. more.

## 616, 666 and other Bible math

That, as previously reported, a newly deciphered fragment of the Book of Revelations shows 616 is the true Number of the Beast, rather than the popular 666, is nothing new in the world of those obsessed with codes in the Bible. However, one Bible code in particular -- Theomatics -- has sparked debate among believers and non-believers alike.

## Am I Evil?

Coincidence or contortion? Ivan Panin deciphered a numeric code in the Bible. Known as Gematria, the 'code' implies the Bible could not have been written without Holy assistance. Panin offered an open challenge for someone to create text using a similar pattern, yet no one was able to create one(nor tried).

However many people doubt the authenticity of the code though. The code is found in the same verses using different translations. It is also claimed that Panin manufactured his own translations to create this mathematical phenomenon.

Whether or not you believe, you can determine how good or evil any text or website is.

However many people doubt the authenticity of the code though. The code is found in the same verses using different translations. It is also claimed that Panin manufactured his own translations to create this mathematical phenomenon.

Whether or not you believe, you can determine how good or evil any text or website is.

Page:
1