/explore
|
You are here 
|
yufeizhao.com | ||
| | | | |
grigory.github.io
|
|
| | | | | Slides and videos from the DIMACS workshop "Big Data through the Lens of Sublinear Algorithms" are now available. | |
| | | | |
yufeizhao.wordpress.com
|
|
| | | | | This post is adapted from my new expository survey Extremal regular graphs: independent sets and graph homomorphisms. The earliest result in extremal graph theory is usually credited to Mantel, who proved, in 1907, that a graph on $latex {n}$ vertices with no triangles contains at most $latex {n^2/4}$ edges, where the maximum is achieved for... | |
| | | | |
11011110.github.io
|
|
| | | | | 3-colorings of graphs are inherently a ternary thing, right? There are three choices for the color of each vertex. But, for 3-colorings of cycles, there's a ... | |
| | | | |
math.andrej.com
|
|
| | | [AI summary] The discussion revolves around the philosophical and methodological pluralism in mathematics, emphasizing that mathematics is a human-made construct with historical developments rather than an absolute, universal truth. Key points include the idea that different mathematical frameworks (e.g., classical vs. intuitionistic logic, paraconsistent logic) represent distinct 'worlds' of mathematics, each with its own standards and validity. The conversation highlights the importance of acknowledging these pluralistic perspectives without assuming a single, unifying foundation. It also touches on the role of context, the evolution of mathematical concepts, and the implications of relativism for the future of mathematics. The discussion underscores that ... | ||
