1. NetAtlas
  2. gentzen.wordpress.com

gentzen.wordpress.com

Homepage snapshot RSS feed snapshot Rankings Pages Subdomains
Main

id

70910285

name

gentzen.wordpress.com · homepage snapshot

processing priority

4

site type

3 (personal blog or private political site, e.g. Blogspot, Substack, also small blogs on own domains)

review version

11

html import

20 (imported)

Events

first seen date

2024-04-14 21:06:30

expired found date

-

created at

2024-06-09 08:27:47

updated at

2026-01-02 06:44:38

Domain name statistics

length

21

crc

9991

tld

2211

nm parts

0

nm random digits

0

nm rare letters

0

Connections

is subdomain of id

13642151 (wordpress.com)

previous id

0

replaced with id

0

related id

-

dns primary id

0

dns alternative id

0

lifecycle status

0 (unclassified, or currently active)

Subdomains and pages

deleted subdomains

0

page imported products

0

page imported random

0

page imported parking

0

Error counters

count skipped due to recent timeouts on the same server IP

0

count content received but rejected due to 11-799

0

count dns errors

0

count cert errors

0

count timeouts

0

count http 429

0

count http 404

0

count http 403

0

count http 5xx

0

next operation date

-

Server

server bits

—

server ip

-

Mainpage statistics

mp import status

20

mp rejected date

-

mp saved date

-

mp size orig

409045

mp size raw text

142153

mp inner links count

29

mp inner links status

20 (imported)

Open Graph

title

Gentzen translated

description

very partial

image

site name

Gentzen translated

author

updated

2025-12-21 11:35:54

raw text

Gentzen translated | very partial Gentzen translated very partial Skip to content Home About ← Older posts Proving formal definitions of informal concepts Posted on November 4, 2023 by gentzen It’s been a long time since my last post. Thanks to Shin’ichi Mochizuki and Peter Woit , I found some interesting reflections. That was end of August, but now we have beginning of November. In fact, it is much worse. In September 2021, I finished the conclusion with : Let me instead mention a logician and philosopher, who seems to consistently produce incredibly awesome overlength material: Walter Dean . I still need to read his latest paper on informal rigour. I really enjoyed his previous paper on consistency and existence in mathematics. I still haven’t advanced beyond page 19 (4.1.3 From schematization to formalization) of the 83 page arXiv version of “On the methodology of informal rigour: set theory, semantics, and intuitionism”. While writing this, I notic...

Text analysis

redirect type

0 (-)

block type

0 (no issues)

detected language

1 (English)

category id

Podsłuchy (13)

index version

2025110801

spam phrases

5

Text statistics

text nonlatin

8

text cyrillic

0

text characters

65535

text words

23332

text unique words

3007

text lines

1260

text sentences

1041

text paragraphs

255

text words per sentence

22

text matched phrases

49

text matched dictionaries

7

RSS

rss path

https://gentzen.wordpress.com/feed/atom/

rss status

32 (unknown)

rss found date

2024-09-20 17:18:57

rss size orig

309555

rss items

10

rss spam phrases

5

rss detected language

1 (English)

inbefore feed id

-

inbefore status

0 (new)

Sitemap

sitemap path

https://gentzen.wordpress.com/sitemap.xml

sitemap status

30 (processing completed, results pushed to table crawler_sitemaps.ext_domain_sitemap_lists)

sitemap review version

1

sitemap urls count

25

sitemap urls adult

0

sitemap filtered products

0

sitemap filtered videos

0

sitemap found date

2024-04-26 14:34:15

sitemap process date

2024-11-30 08:14:10

sitemap first import date

-

sitemap last import date

-